"Universe Polymorphism in Coq" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Polymorphism in Molecular Crystals	Joel Bernstein	2007	Oxford University Press
Polymorphism in Molecular Crystals	Joel Bernstein	2020	Oxford University Press
Polymorphism in Pharmaceutical Solids	Harry G. Brittain	2009	Routledge
Polymorphism in molecular crystals	Joel Bernstein	2002	Oxford University Press
Polymorphism in pharmaceutical solids /	Brittain, H. G.	[1999], ©1999.	M. Dekker,
Polymorphism in pharmaceutical solids /	Brittain, H. G.	©1999.	M. Dekker,
Genetic polymorphism	E. B. Ford	1965	M.I.T. Press
Genetic polymorphism	Ford, E. B.	1965	M.I.T. Press
Insect polymorphism.	J. S. Kennedy	1961	Royal Entomological Society
Polymorphism - In the Pharmaceutical Industry	Rolf Hilfiker	2006	John Wiley & Sons
Polymorphism and polytypism in crystals	Ajit Ram Verma, P. Krishna	1966	John Wiley & Sons
Coq Académie	Alain M. Bergeron	2014	Boomerang éditeur jeunesse
Papa coq	Jean-Charles Sarrazin	2007	Ecole des loisirs
Le coq	Shaohin	1986	Créalivres
Tit-Coq	Gratien Gélinas	1987	Leméac
Le coq d'or,	Pushkin, Aleksandr Sergeevich,; Zworykine, Boris.	[1925]	H. Piazza
Tit-coq: théâtre	Gratien Gélinas	1994	Typo
Coq de combat	Izô Hashimoto	2003	Delcourt-Akata
Coq au vin	Charlotte Carter	1999	Mysterious Press
Infection, Polymorphism and Evolution	W.D. Hamilton; J.C. Howard	1997	Springer Netherlands
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Universe Polymorphism in Coq	Matthieu Sozeau; Nicolas Tabareau	Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings	Gerwin Klein; Ruben Gamboa	2014	Springer International Publishing
Fusion in Coq	José L. Freire Nistal; José E. Freire Brañas; Antonio Blanco Ferro; Juan J. Sánchez Penas	Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers	Roberto Moreno-Diaz; Bruno Buchberger; Jose-Luis Freire	2001	Springer Berlin Heidelberg
HOCore in Coq	Petar Maksimović; Alan Schmitt	Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings	Christian Urban; Xingyuan Zhang	1st ed. 2015	Springer International Publishing
Coq	Laurent Théry; Pierre Letouzey; Georges Gonthier	The Seventeen Provers of the World: Foreword by Dana S. Scott	Freek Wiedijk	2006	Springer Berlin Heidelberg
coq		Lexique pour l’étude de la Franche-Comté à l’époque des Habsbourg (1493-1674)	Paul Delsalle	2004	Presses universitaires de Franche-Comté
Coq		Peindre en leur âme des fantômes: Image et éducation militante pendant les guerres de Religion	Florence Buttay	2018	Presses universitaires de Rennes
Coq	Philippe Chavin; Jean-François Monin	Software Specification Methods	Henri Habrias	2006	John Wiley & Sons
Towards Rewriting in Coq	Jacek Chrząszcz; Daria Walukiewicz-Chrząszcz	Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday	Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner	2007	Springer Berlin Heidelberg
Program Calculation in Coq	Julien Tesson; Hideki Hashimoto; Zhenjiang Hu; Frédéric Loulergue; Masato Takeichi	Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers	Michael Johnson; Dusko Pavlovic	2011	Springer Berlin Heidelberg
Reflecting BDDs in Coq	Kumar Neeraj Verma; Jean Goubault-Larrecq; Sanjiva Prasad; S. Arun-Kumar	Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings	Jifeng He; Masahiko Sato	2000	Springer Berlin Heidelberg
Mobility Types in Coq	Furio Honsell; Ivan Scagnetto	Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers	Stefano Berardi; Mario Coppo; Ferruccio Damiani	2004	Springer Berlin Heidelberg
Specifying XPEGs in Coq		Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice. . . Computer Science and General Issues)	Andrew Gordon	2010	Springer
Subset Coercions in Coq	Matthieu Sozeau	Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers	Thorsten Altenkirch; Conor McBride	2007	Springer Berlin Heidelberg
Surreal Numbers in Coq	Lionel Elie Mamane	Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers	Jean-Christophe Filliatre; Christine Paulin-Mohring; Benjamin Werner	2006	Springer Berlin Heidelberg
Recursion Schemes in Coq	Kosuke Murata; Kento Emoto	Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings	Anthony Widjaja Lin	1st ed. 2019	Springer International Publishing
Trakhtenbrot’s Theorem in Coq	Dominik Kirst; Dominique Larchey-Wendling	Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II	Nicolas Peltier; Viorica Sofronie-Stokkermans	1st ed. 2020	Springer International Publishing
Notre Coq		Chansons. I. Œuvres complètes, 1	Béranger Pierre-Jean de; Brandes Pierre des	1875-01-01	Classiques Garnier
CON–COQ		Dictionaire critique de la langue française: (1787)		1994	Max Niemeyer Verlag
COQ-HARDY		Décors et costumes du XIXe siècle. Tome II: Théâtre et décorateurs	Nicole Wild	1993	Éditions de la Bibliothèque nationale de France
CoQ TYPE		Plant Genome: Biodiversity and Evolution: Lower Groups	A K Sharma	2006	Science Publishers
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries