Induction, recursion, and programming

Induction, recursion, and programming / Mitchell Wand.

Saved in:

Bibliographic Details
Main Author:	Wand, Mitchell
Format:	Book
Language:	English
Published:	New York : North Holland, c1980.
Subjects:	Computer programming. Induction (Mathematics) Recursion theory.

Similar Items

Computable economics
by: Velupillai, Kumaraswamy, 1947-
Published: (2000)

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

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

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

Thinking recursively
by: Roberts, Eric
Published: (1986)

Recursion theory
Published: (1985)

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

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

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

Inductive logic programming : 30th International Conference, ILP 2021, Virtual event, October 25-27, 2021, Proceedings
Published: (2022)

Inductive Logic Programming : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
Published: (2020)

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

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)

Inductive logic programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, proceedings
Published: (2023)

Inductive logic programming : from machine learning to software engineering
by: Bergadano, Francesco, 1963-
Published: (1996)

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

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

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

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)

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

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

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

Handbook of Mathematical Induction.
by: Gunderson, David S.
Published: (2014)

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

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

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

Parabolic subgroups of algebraic groups and induction
by: Vella, David C., 1954-
Published: (1986)

Non-additive exact functors and tensor induction for Mackey functors
by: Bouc, Serge, 1955-
Published: (2000)

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Published: (1981)

Studies in inductive probability and rational expectation
by: Kuipers, Theo A. F., 1947-
Published: (1978)

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

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

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

Induction : an essay on the justification of inductive reasoning
by: Rescher, Nicholas
Published: (1980)

Parabolic subgroups of algebraic groups and induction
by: Vella, David C., 1954-
Published: (1986)