Recursion in total functionals of finite type
Solomon Feferman (1977)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “New recursive characterizations of the elementary functions and the functions computable in polynomial space.”
Recursion in total functionals of finite type
On changes of input/output coding. II.
Michal P. Chytil (1974)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Concerning definable sets
N. Routledge (1955)
Fundamenta Mathematicae
Similarity:
General recursive functionals of finite type and hierarchies of functions
R. O. Gandy (1967)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
A nonstandard approach to arithmetic.
JOSÉ F. PRIDA (1999)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
A few results on the complexity of classes of identifiable recursive function sets
Reinhard Klette (1982)
Banach Center Publications
Similarity:
Extension of an effectively generated class of functions by enumeration
S. Kleene (1958)
Colloquium Mathematicae
Similarity: