Some classes of recursive functions

Some classes of recursive functions

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Grzegorczyk, Andrzej 1922-2014 (VerfasserIn)
Format:	Buch
Sprache:	Czech English
Veröffentlicht:	Warszawa Polskie towarzystwa matematyczne 1953
Schriftenreihe:	Rozprawy matematyczne. 4.
Schlagworte:	Rekursive Funktion
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Some Classes of recursive functions
von: Grzegorczyk, Andrzej 1922-2014
Veröffentlicht: (1964)

Fonctions recursives
von: Grzegorczyk, Andrzej 1922-2014
Veröffentlicht: (1961)

Recursive functions in computer science
von: Péter, Rozsa
Veröffentlicht: (1981)

Complexity classes of recursive functions
von: Moll, Robert
Veröffentlicht: (1973)

Formal systems and recursive functions proceedings of the Eighth Logic Colloquium, Oxford, July 1963
Veröffentlicht: (1965)

Push down transductions as primitive recursive wordfunctions
von: Indermark, Klaus
Veröffentlicht: (1972)

Formalized recursive functionals and formalized realizability
von: Kleene, Stephen Cole 1909-1994
Veröffentlicht: (1969)

Theory of recursive functions and effective computability
von: Rogers, Hartley
Veröffentlicht: (1992)

Theory of recursive functions and effective computability
von: Rogers, Hartley
Veröffentlicht: (1980)

Theory of recursive functions and effective computability
von: Rogers, Hartley
Veröffentlicht: (1967)

Hierarchies of primitive recursive functions on term algebras
von: Sprenger, Klaus-Hilmar
Veröffentlicht: (1996)

Computations in Higher Types
von: Moldestad, Johan
Veröffentlicht: (1977)

Funkcje rekurencyjne i elementy metamatematyki problemy zupełności, roztrzygalności, twierdzenia Gödla
von: Murawski, Roman 1949-
Veröffentlicht: (1990)

Rekursive Funktionen
von: Péter, Rozsa
Veröffentlicht: (1967)

Recursive macroeconomic theory
von: Ljungqvist, Lars 1959-, et al.
Veröffentlicht: (2009)

A new approach to recursive programs
von: Manna, Zohar 1939-2018, et al.
Veröffentlicht: (1975)

Recursive function theory Proceedings of the 5. Symposium in Pure Mathematics of the American Mathematical Society. Held April 6-7, 1961
Veröffentlicht: (1979)

Automating recursive definitions and termination proofs in higher-order logic
von: Krauss, Alexander 1980-
Veröffentlicht: (2009)

Recursive algorithms
von: Lorentz, Richard
Veröffentlicht: (1994)

Computability an introduction to recursive function theory
von: Cutland, Nigel J.
Veröffentlicht: (2000)

Computability an introduction to recursive function theory
von: Cutland, Nigel J.
Veröffentlicht: (1986)

Computability an introduction to recursive function theory
von: Cutland, Nigel J.
Veröffentlicht: (1994)

Rekursive Funktionen in der Komputer-Theorie
von: Péter, Rózsa 1905-1977
Veröffentlicht: (1976)

Recursive macroeconomic theory
von: Ljungqvist, Lars
Veröffentlicht: (2012)

A basic problem in the theory of programming languages
von: Buchberger, Bruno 1942-
Veröffentlicht: (1972)

Klassifizierungen der einstelligen primitiv-rekursiven Funktionen nach der Anzahl der Iterationen
von: Neumović, Jovan
Veröffentlicht: (1980)

Beweistheoretische Techniken zur Bestimmung von Pi 0 2 -Skolem-Funktionen
von: Blankertz, Benjamin 1969-
Veröffentlicht: (1997)

Recursive function theory and logic
von: Yasuhara, Ann
Veröffentlicht: (1971)

Uniform learning of recursive functions
von: Zilles, Sandra
Veröffentlicht: (2003)

Algebraic recursion theory
von: Ivanov, Ljubomir L.
Veröffentlicht: (1986)

Computability
von: Tourlakis, George J.
Veröffentlicht: (1984)

Games and full abstraction for a functional metalanguage with recursive types
von: McCusker, Guy 1972-
Veröffentlicht: (1998)

Recursiveness
von: Eilenberg, Samuel 1913-1998, et al.
Veröffentlicht: (1970)

Processing of recursive rules in knowledge-based systems algorithms for handling recursive rules and negative information and performance measurements
von: Chen, Yangjun
Veröffentlicht: (1995)

Recursively enumerable Sets and degrees a study of computable functions and computably generated sets
von: Soare, Robert I.
Veröffentlicht: (1987)

Vyčislimost' vvedenie v teoriju rekursivnych funkcij
von: Cutland, Nigel J.
Veröffentlicht: (1983)

Computability
von: Cutland, Nigel
Veröffentlicht: (1980)

A programming approach to computability
von: Kfoury, A. J., et al.
Veröffentlicht: (1982)

Degrees of unsolvability
von: Sacks, Gerald E. 1933-2019
Veröffentlicht: (1963)

A course in formal languages, automata and groups
von: Chiswell, Ian
Veröffentlicht: (2009)