"Recursive program schemes and computable functionals"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Recursive Functionals	Luis E. Sanchis	1992	Elsevier
Formalized recursive functionals and formalized realizability	Stephen Cole Kleene	1969	American Mathematical Society
Simple Program Schemes and Formal Languages	J. Engelfriet	1974	Springer Berlin Heidelberg
Computable Models	raymond turner	2009	Springer London
Computable analysis	Stanisław Mazur, Andrzej Grzegorczyk, Helena Rasiowa	1963	Państwowe Wydawnictwo Naukowe
Computable Economics	K. Vela Velupillai; Stefano Zambelli; Stephen Kinsella	2011	Edward Elgar Publishing
Computable functions.	Louis Francis Williams	1970
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
Density Functionals: Thermochemistry	Erin R. Johnson	2015	Springer International Publishing
Projecting Statistical Functionals	Tomasz Rychlik	2001	Springer New York
Complex Convexity and Analytic Functionals	Mats Andersson; Mikael Passare; Ragnar Sigurdsson	2004	Birkhäuser Basel
Recursive Analysis	R.L. Goodstein	1961	Elsevier
Recursive analysis.	R. L. Goodstein	1961	North-Holland Pub. Co.
Recursive Partitioning and Applications	Heping Zhang; Burton H. Singer	2nd ed. 2010	Springer New York
Algorithms and recursive functions	Anatolii Ivanovič Mal’cev	1970	Wolters-Noordhoff Publishing, Groninge, The Netherlands
Integration of Functionals. Seminar	Friedrichs K.O., Shapiro H.N.	1957	New York University
Computable Structures and the Hyperarithmetical Hierarchy	C.J. Ash, J. Knight	2000	Elsevier
Computable Foundations for Economics	K. Vela Velupillai	2010	Routledge
Computable Analysis: An Introduction	Klaus Weihrauch	2000	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
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
Recursive and computable functionals		Computable analysis	Stanisław Mazur, Andrzej Grzegorczyk, Helena Rasiowa	1963	Państwowe Wydawnictwo Naukowe
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
Recursive Applicative Program Schemes	Bruno COURCELLE	Formal Models and Semantics	J. van Leeuwen	1990	Elsevier
4 Partially Computable and Computable Functionals		Computability and Unsolvability	Martin Davis	1985	Dover Publications
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,
Recursive and computable numbers		Computable analysis	Stanisław Mazur, Andrzej Grzegorczyk, Helena Rasiowa	1963	Państwowe Wydawnictwo Naukowe
Recursive and computable sequences		Computable analysis	Stanisław Mazur, Andrzej Grzegorczyk, Helena Rasiowa	1963	Państwowe Wydawnictwo Naukowe
Sequentially and parallelly computable functionals	Y. Y. Sazonov	λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche	C. Böhm	1975	Springer Berlin Heidelberg
§4 Computable functionals and functions		A course in mathematical logic	Bell J.L., Machover M.	1977	NH
Ch 10 Computable Functionals		Computability and Unsolvability	Martin Davis	1985	Dover Publications
2 Completely Computable Functionals		Computability and Unsolvability	Martin Davis	1985	Dover Publications
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
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
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
Recursive and computable real functions		Computable analysis	Stanisław Mazur, Andrzej Grzegorczyk, Helena Rasiowa	1963	Państwowe Wydawnictwo Naukowe
§5 Recursive functionals and functions		A course in mathematical logic	Bell J.L., Machover M.	1977	NH
Computable Functionals of Finite Type	Sören Stenlund	Combinators, λ-Terms and Proof Theory	Sören Stenlund	1972	Springer Netherlands
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Recursive program schemes and computable functionals" - similar Books and Chapters