Thinking recursively

Thinking recursively / Eric Roberts.

Saved in:

Bibliographic Details
Main Author:	Roberts, Eric
Format:	Book
Language:	English
Published:	New York : J. Wiley, c1986.
Subjects:	Recursion theory.

Similar Items

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (2020)

Recursion theory : computational aspects of definability
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)

Recursion theory
Published: (1985)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Techniques of admissible recursion theory
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)

Fundamentals of generalized recursion theory
by: Fitting, Melvin Chris
Published: (1981)

Classical recursion theory : the theory of functions and sets of natural numbers
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)

The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)

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

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
Published: (1990)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
Published: (1985)

Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole, 1909-1994
Published: (1969)

Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)

Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)

Computability, enumerability, unsolvability : directions in recursion theory
Published: (1996)

Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)

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

Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)

Algorithmics : theory and practice
by: Brassard, Gilles, 1955-
Published: (1988)

Aspects of incompleteness
by: Lindström, Per, 1936-
Published: (1997)

Regressive sets and the theory of isols
by: McLaughlin, Thomas G.
Published: (1982)

Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

Recursion on the countable functionals
by: Normann, Dag, 1947-
Published: (1980)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Published: (1978)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Published: (1980)

Induction, recursion, and programming
by: Wand, Mitchell
Published: (1980)

The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)

Computability and logic
by: Boolos, George
Published: (1989)

How to think about algorithms
by: Edmonds, Jeff, 1963-
Published: (2008)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

Recursion via Pascal
by: Rohl, J. S. (Jeffrey Soden), 1938-
Published: (1984)

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

Recursive methods in economic dynamics
by: Stokey, Nancy L.
Published: (1989)

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

Theory of recursive functions and effective computability.
by: Rogers, H. (Hartley), 1926-
Published: (1967)

Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)

Recursion : a computational investigation into the representation and processing of language
by: Lobina, David J.
Published: (2017)

Recursive identification and parameter estimation
by: Chen, Hanfu, et al.
Published: (2014)

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
by: Lombardi, Henri
Published: (1920)

Potential wadge classes
by: Lecomte, Dominique, 1964-
Published: (2012)