Computable functions /

Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)

Computability theory /
by: Cooper, S. Barry, et al.
Published: (2017)

Invertible functions /
by: Allender, Eric Warren, 1956-
Published: (1985)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Computability and logic /
by: Boolos, George
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2002)

Computability and logic.
by: Boolos, George
Published: (2007)

Handbook of computability theory /
Published: (1999)

A programming approach to computability /
by: Kfoury, A. J.
Published: (1982)

Computability with PASCAL /
by: Mallozzi, John S.
Published: (1984)

Recursive functions in computer theory /
by: Péter, Rózsa, 1905-1977
Published: (1981)

New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
Published: (2005)

Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings /
Published: (2011)

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
Published: (2006)

Computability.

Models of computation : an introduction to computability theory /
by: Fernández, Maribel
Published: (2009)

Reflexive structures : an introduction to computability theory /
by: Sanchis, Luis E.
Published: (1988)

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

Computation and automata /
by: Salomaa, Arto
Published: (1985)

Models of computation and formal languages /
by: Taylor, Ralph Gregory
Published: (1998)

Handbook of computability theory /
Published: (1999)

Computability in analysis and physics /
by: Pour-El, Marian B. (Marian Boykan), 1928-
Published: (1989)

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Computability theory, semantics, and logic programming /
by: Fitting, Melvin, 1942-
Published: (1987)

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /
Published: (2007)

Subrecursion : functions and hierarchies /
by: Rose, H. E.
Published: (1984)

Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /
Published: (1990)

Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)

New computational paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings /
Published: (2005)

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings /
Published: (2006)

Elementary computability, formal languages, and automata /
by: McNaughton, Robert
Published: (1982)

Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings /
Published: (2010)

Computability and logic.
by: Boolos, George
Published: (2002)

New computational paradigms : changing conceptions of what is computable /
Published: (2008)