Filter

Recursive Functions

227 books found

The foundations of intuitionistic mathematics
The foundations of intuitionistic mathematics

by Stephen Cole Kleene

1965 2 ed.
Computability
Computability

by Davis, Martin

1974 2 ed.
Computation with recurrence relations
Computation with recurrence relations

by Jet Wimp

1984 2 ed.
A recursive introduction to the theory of computation
A recursive introduction to the theory of computation

by Smith, Carl H.

1994 2 ed.
Recursive contracts
Recursive contracts

by Albert Marcet

1998 2 ed.
Real-time flutter analysis
Real-time flutter analysis

by Robert Walker

1984 2 ed.
The undecidable
The undecidable

by Davis, Martin

1965 2 ed.
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe
Reduktionstheorie des Entscheidungsproblems im Prädikatenka...

by János Surányi

1959 2 ed.
Computability and continuity in finite types
Computability and continuity in finite types

by J. A. Bergstra

1951 2 ed.
Real-time flutter identification
Real-time flutter identification

by Richard Roy

1985 2 ed.
L' induzione matematica o ragionamento ricorsivo
L' induzione matematica o ragionamento ricorsivo

by Italo Aimonetto

1980 2 ed.
Równania rekurencyjne
Równania rekurencyjne

by Ira Koźniewska

1972 1 ed.
Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln
Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen ...

by Gerda Thieler-Mevissen

1974 1 ed.
Computations in higher types
Computations in higher types

by Johan Moldestad

1977 1 ed.
Introduction to computability
Introduction to computability

by Frederick C. Hennie

1977 1 ed.
Uniformly reflexive structures
Uniformly reflexive structures

by Eric Gerhardt Wagner

1963 1 ed.
Komplexitätstheorie
Komplexitätstheorie

by Wolfgang J. Paul

1978 1 ed.
PARIS, a simple universal language for processing arbitrary tuples of words
PARIS, a simple universal language for processing arbitrary ...

by Wolfram Menzel

1974 1 ed.
Data types as lattices
Data types as lattices

by Dana S. Scott

1976 1 ed.
Obshchai͡a︡ teorii͡a︡ vychisleniĭ s orakulami
Obshchai͡a︡ teorii͡a︡ vychisleniĭ s orakulami

by V. A. Ganov

1989 1 ed.