"Specifying XPEGs in Coq" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
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
Specifying Minor Works	Patrick Reddin	2014	Routledge
Specifying syntactic structures	Maarten de Rijke	1997	CSLI Publications;FoLLI, European Association for Logic, Language, and Information
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
Le coq de bruyère	Michel Tournier	1986	Gallimard
Le coq de bruyère	Michel Tournier	1978	Gallimard
Roland, le coq paresseux	Lilian Murray	1989	Bias
Le Coq de bruyère /	Tournier, Michel.	[1978], ©1978.	Gallimard,
Du coq à l'âne	Jean Bélanger	2007	Priori-T#1
Du coq à l'âme	Raymond Turcotte	2006	TheoDone éditeur
Le coq du clocher	Reybaud, Louis	1872	Michel Lévy
De l'âne au coq	Jean-Pierre Colignon	2006	L'Archipel
Le coq du clocher	Reybaud, Louis	1846	M. Lévy frères
Les plumes du coq: roman	Conrad Detrez	1982	Calmann-LÃ©vy
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
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
Specifying Well-Formed Part-Whole Relations in Coq	Richard Dapoigny; Patrick Barlatier	Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings	Nathalie Hernandez; Robert Jäschke; Madalina Croitoru	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
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
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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries