"Recursion Schemes in Coq" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Recursion	Tony Ballantyne	August 29, 2006	Spectra
Recursion: Complexity in Cognition	Tom Roeper; Margaret Speas	2014	Springer International Publishing
Recursion Theory	Joseph R. Shoenfield	2017-03	Cambridge University Press
Recursion theory /	Shoenfield, Joseph R.	[1993], ©1993.	Springer-Verlag,
Recursion theory	Anil Nerode; Richard A. Shore	1985	American Mathematical Society
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
Bounded Queries in Recursion Theory	William Levine; Georgia Martin	1999	Birkhäuser Boston
Morpheme-internal Recursion in Phonology	Kuniya Nasukawa	2020	De Gruyter Mouton
Language and Recursion	Francis Lowenthal; Laurent Lefebvre	2014	Springer New York
Higher Recursion Theory	Gerald E. Sacks	2017-03	Cambridge University Press
Recursion across Domains	Luiz Amaral; Marcus Maia; Andrew Nevins; Tom Roeper	2018-06	Cambridge University Press
Recursion via Pascal	Rohl	1984-07	Cambridge University Press
Recursion-Theoretic Hierarchies	Peter G. Hinman	2017-03	Cambridge University Press
Classical Recursion Theory	P.G. Odifreddi	1999	Elsevier
Generalized Recursion Theory	J.E. Fenstad; P.G. Hinman	1974	Elsevier
Higher Recursion Theory	Gerald E. Sacks	1990	Springer
Recursion-Theoretic Hierarchies	Peter G. Hinman	1978	Springer
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
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
Recursion schemes		Theory of Program Structures: Schemes, Semantics, Verification	Sheila A. Greibach	1975	Springer Berlin Heidelberg
Monadic recursion schemes		Theory of Program Structures: Schemes, Semantics, Verification	Sheila A. Greibach	1975	Springer Berlin Heidelberg
Chapter 21: Recursion Schemes		Haskel Notes For Professionals. 200+ pages of professional hints and tricks	GoalKicker.com	2018	GoalKicker.com
3 Some recursion schemes		Handbook of Computability Theory	E.R. Griffor	1999	North Holland
Recursion Schemes for Dynamic Programming	Jevgeni Kabanov; Varmo Vene	Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings	Tarmo Uustalu	2006	Springer Berlin Heidelberg
Recursion schemes and generalized interpretations	Jean H. Gallier	Automata, Languages, and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings	H. A. Maurer	1979	Springer Berlin Heidelberg
The recursion and induction schemes		Practical Foundations of Mathematics	Paul Taylor	1999	Cambridge University Press
Schemes with recursion on higher types	Klaus Indermark	Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings	A. Mazurkiewicz	1976	Springer Berlin Heidelberg
Semantics of Higher-Order Recursion Schemes	Jiří Adámek; Stefan Milius; Jiří Velebil	Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings	Alexander Kurz; Marina Lenisa	2009	Springer Berlin Heidelberg
On the power of recursion in dataflow Schemes	Peter Bachmann	Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings	Dines Bjørner; Manfred Broy; Igor V. Pottosin	1996	Springer Berlin Heidelberg
On the Power of Recursion in Dataflow Schemes	P. Bachmann	Perspectives of system informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996: proceedings /	Bjørner, D.; Broy, M.,; Pottosin, I. V.	[1996], ©1996.	Springer,
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
Upper and Lower Recursion Schemes in Abstract Approximation Spaces	Peter Apostoli; Akira Kanda	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings	Guoyin Wang; Qing Liu; Yiyu Yao	2003	Springer Berlin Heidelberg
Untyped Recursion Schemes and Infinite Intersection Types	Takeshi Tsukada; Naoki Kobayashi	Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings	Luke Ong	2010	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries