"Recursive Applicative Program Schemes" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Simple Program Schemes and Formal Languages	J. Engelfriet	1974	Springer Berlin Heidelberg
Theory of Program Structures: Schemes, Semantics, Verification	Prof. Sheila A. Greibach (eds.)	1975	Springer-Verlag Berlin Heidelberg
Theory of Program Structures: Schemes, Semantics, Verification	Sheila A. Greibach	1975	Springer Berlin Heidelberg
Applicative aspects of poly(organophosphazenes) /	Jaeger, R. De.; Gleria, M.	[2004], ©2004.	Nova Science Publishers,
Recursive Functionals	Luis E. Sanchis	1992	Elsevier
Recursive Analysis	R.L. Goodstein	1961	Elsevier
Recursive analysis.	R. L. Goodstein	1961	North-Holland Pub. Co.
Super-Recursive Algorithms	Mark Burgin	2005	Springer New York
Recursive Number Theory	R.L. Goodstein	1957	Elsevier
Recursive Macroeconomic Theory	Lars Ljungqvist, Thomas J. Sargent	2018	The MIT Press
Recursive Macroeconomic Theory	Lars Ljungqvist, Thomas J. Sargent	2004	MIT Press
Recursive Equivalence Types	Dekker, Jacob C. E. and Myhill, John R.	1960	University of California Press
Recursive macroeconomic theory /	Ljungqvist, Lars.; Sargent, Thomas J.	2000.	MIT Press,
Recursive programming techniques	William H. Burge	1975	Addison-Wesley Pub. Co.
Schemes	Peter A. Greenbura	September 1, 2000	Monroe Publishing Company
S. K. Šaumjan et la grammaire générative applicative	René L'Hermitte	1974	Didier
Recursive Partitioning and Applications	Heping Zhang; Burton H. Singer	2nd ed. 2010	Springer New York
Introduction to Recursive Programming	Manuel Rubio-Sánchez	2017	Routledge
Handbook of Recursive Mathematics	Yu. L. Ershov; S.S. Goncharov; A. Nerode; J.B. Remmel; V.W. Marek	1998	Elsevier
Handbook of Recursive Mathematics	Yu. L. Ershov; S.S. Goncharov; A. Nerode; J.B. Remmel; V.W. Marek	1998	Elsevier
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
Recursive Applicative Program Schemes	Bruno COURCELLE	Formal Models and Semantics	J. van Leeuwen	1990	Elsevier
Parallel recursive program schemes	Antoni Mazurkiewicz	Mathematical Foundations of Computer Science 1975: 4th Symposium Marianske Lazne, September 1-5, 1975	J. Becvar	1975	Springer Berlin Heidelberg
Non deterministic recursive program schemes	A. Annold; M. Nivat	Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977	Marek Karpinski	1977	Springer Berlin Heidelberg
Induction of recursive program schemes	Ute Schmid; Fritz Wysotzki	Machine Learning: ECML-98: 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings	Claire Nedellec; Celine Rouveirol	1998	Springer Berlin Heidelberg
Induction of Recursive Program Schemes	U. Schmid and F. Wysotzki	Machine learning: ECML-98: 10th European Conference on Machine Learning, Chemnitz, Germany, April 1998: proceedings /	Nédellec, Claire.; Rouveirol, Céline.	[1998], ©1998.	Springer,
On higher order recursive program schemes	Zurab Khasidashvili	Trees in Algebra and Programming - CAAP ' 94: 19th International Colloquium, Edinburgh, U. K. , April 11 - 13, 1994. Proceedings	Sophie Tison	1994	Springer Berlin Heidelberg
Recursive program schemes and computable functionals	B. A. Trakhtenbrot	Mathematical Foundations of Computer Science 1976: 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings	A. Mazurkiewicz	1976	Springer Berlin Heidelberg
Equational Logic of Recursive Program Schemes	John G. Mersch	Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings	José Luiz Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten	2005	Springer Berlin Heidelberg
Verification by Testing for Recursive Program Schemes	Daniel Le Métayer; Valérie-Anne Nicolas; Olivier Ridoux	Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR' 99, Venice, Italy, September 22-24, 1999 Selected Papers	Annalisa Bossi	2000	Springer Berlin Heidelberg
The algebraic theory of recursive program schemes	R. M. Burstall; J. W. Thatcher	Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974	Ernest Gene Manes	1975	Springer Berlin Heidelberg
The algebraic semantics of recursive program schemes	B. Courcelle; M. Nivat	Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings	J. Winkowski	1978	Springer Berlin Heidelberg
Recursive Program Schemes: Past, Present, and Future	Lawrence S. Moss	Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings	Michael Johnson; Varmo Vene	2006	Springer Berlin Heidelberg
5 Recursive Schemes	Klaus Dohmen	Improved Bonferroni Inequalities via Abstract Tubes: Inequalities and Identities of Inclusion-Exclusion Type	Klaus Dohmen	2003	Springer Berlin Heidelberg
Recursive programming schemes		An introduction to lambda calculus	Barendregt & Barendsen	2012.	Learning Press
The Category Theoretic Solution of Recursive Program Schemes	Stefan Milius; Lawrence S. Moss	Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings	José Luiz Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten	2005	Springer Berlin Heidelberg
Recursive Program Synthesis	Aws Albarghouthi; Sumit Gulwani; Zachary Kincaid	Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings	Natasha Sharygina; Helmut Veith	2013	Springer Berlin Heidelberg
Extracting General Recursive Program Schemes in Nuprl’s Type Theory	James L. Caldwell	Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers	Alberto Pettorossi	2002	Springer Berlin Heidelberg
An Order Semantics for Non-Deterministic Recursive Program Schemes	Axel Poigné	GI — 11. Jahrestagung: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20. –23. Oktober 1981 Proceedings	W. Brauer	1981	Springer Berlin Heidelberg
3 — Program schemes		Algebraic Semantics	I. Guessarian	1981	Springer Berlin Heidelberg
3 — Program schemes		Algebraic semantics	Irène Guessarian (auth.)	1981	Springer-Verlag Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries