Computable functions /
| Main Author: | Shen, A. (Alexander), 1958- |
|---|---|
| Other Authors: | Vereshchagin, Nikolai Konstantinovich, 1958- |
| Format: | Book |
| Language: | English |
| Published: |
Providence, R.I. :
American Mathematical Society,
[2003]
|
| Series: | Student mathematical library.
v. 19. |
| Subjects: |
Similar Items
Computability, an introduction to recursive function theory /
by: Cutland, Nigel
Published: (1980)
by: Cutland, Nigel
Published: (1980)
Computability /
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)
by: Weihrauch, K. (Klaus), 1943-
Published: (1987)
Computability /
by: Tourlakis, George J.
Published: (1984)
by: Tourlakis, George J.
Published: (1984)
Computability : a mathematical sketchbook /
by: Bridges, D. S. (Douglas S.), 1945-
Published: (1994)
by: Bridges, D. S. (Douglas S.), 1945-
Published: (1994)
Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)
by: Cooper, S. B. (S. Barry)
Published: (2004)
Computability theory /
by: Cooper, S. Barry, et al.
Published: (2017)
by: Cooper, S. Barry, et al.
Published: (2017)
Invertible functions /
by: Allender, Eric Warren, 1956-
Published: (1985)
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)
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)
Computability and logic /
by: Boolos, George
Published: (1980)
by: Boolos, George
Published: (1980)
Computability and logic.
by: Boolos, George
Published: (2002)
by: Boolos, George
Published: (2002)
Computability and logic.
by: Boolos, George
Published: (2007)
by: Boolos, George
Published: (2007)
Handbook of computability theory /
Published: (1999)
Published: (1999)
A programming approach to computability /
by: Kfoury, A. J.
Published: (1982)
by: Kfoury, A. J.
Published: (1982)
Computability with PASCAL /
by: Mallozzi, John S.
Published: (1984)
by: Mallozzi, John S.
Published: (1984)
Recursive functions in computer theory /
by: Péter, Rózsa, 1905-1977
Published: (1981)
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)
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)
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)
Published: (2006)
Computability.
Models of computation : an introduction to computability theory /
by: Fernández, Maribel
Published: (2009)
by: Fernández, Maribel
Published: (2009)
Reflexive structures : an introduction to computability theory /
by: Sanchis, Luis E.
Published: (1988)
by: Sanchis, Luis E.
Published: (1988)
Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)
by: Sanchis, Luis E.
Published: (1992)
Computation and automata /
by: Salomaa, Arto
Published: (1985)
by: Salomaa, Arto
Published: (1985)
Models of computation and formal languages /
by: Taylor, Ralph Gregory
Published: (1998)
by: Taylor, Ralph Gregory
Published: (1998)
Handbook of computability theory /
Published: (1999)
Published: (1999)
Computability in analysis and physics /
by: Pour-El, Marian B. (Marian Boykan), 1928-
Published: (1989)
by: Pour-El, Marian B. (Marian Boykan), 1928-
Published: (1989)
Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)
by: Börger, E. (Egon), 1946-
Published: (1989)
Computability theory, semantics, and logic programming /
by: Fitting, Melvin, 1942-
Published: (1987)
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)
Published: (2007)
Subrecursion : functions and hierarchies /
by: Rose, H. E.
Published: (1984)
by: Rose, H. E.
Published: (1984)
Computable analysis : an introduction /
by: Weihrauch, K. (Klaus), 1943-
Published: (2000)
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)
Published: (1990)
Computability theory /
by: Cooper, S. B. (S. Barry)
Published: (2004)
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)
Published: (2005)
Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)
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)
Published: (2006)
Elementary computability, formal languages, and automata /
by: McNaughton, Robert
Published: (1982)
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)
Published: (2010)
Computability and logic.
by: Boolos, George
Published: (2002)
by: Boolos, George
Published: (2002)
New computational paradigms : changing conceptions of what is computable /
Published: (2008)
Published: (2008)