On the definitions of computable real continuous functions
Andrzej Grzegorczyk (1957)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Computable functionals”
On the definitions of computable real continuous functions
On the definition of computable functionals
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
A few results on the complexity of classes of identifiable recursive function sets
Reinhard Klette (1982)
Banach Center Publications
Similarity:
On the reducibility of decision problems
A. Janiczak (1954)
Colloquium Mathematicae
Similarity:
Deriving programs using higher-order generalization
Alberto Pettorossi (1988)
Banach Center Publications
Similarity:
Functional compiler description
K. Indermark (1988)
Banach Center Publications
Similarity:
A model for barrecursion of higher types
B. Scarpellini (1971)
Compositio Mathematica
Similarity:
Recursion in total functionals of finite type
Solomon Feferman (1977)
Compositio Mathematica
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: