Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
A. Grzegorczyk. Fonctions récursives. Paris, Louvain 1961
H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
Berlin, Göttingen, Heidelberg 1961
S. C. Kleene, Introduction to metamathematics. Amsterdam 1952
R. Péter, Rekursive Funktionen. Budapest 1951
Ein grosser Teil der targestellten Methoden und Ergebnisse wurde den folgenden Arbeiten entnommen
P. Axt, Enumeration and the Grzegorczyk hierarchy. Zeitschrift math. Logik und Grundlagen der Math., Bd. 9 (1963), S. 53–65
A. Grzegorczyk, Some classes of recursive functions, Rozprawy Matematyczne IV, Warschau 1953
W. Heinermann, Untersuchungen über die Rekursionszahlen rekursiver Funktionen. Dissertation, Münster 1961
S. C. Kleene, Extension of an effectively generated class of functions by enumeration, Coll. Math., Bd. VI (1958), S. 67–78.
M. L. Minsky, Recursive unsolvability of Post's problem of “Tag” and other topics in the theory of Turing machines. Annals of Math., Bd. 74 (1961), S. 437–455
D. M. Richie, Complexity classification of primitive recursive functions by their machine programs. Notices of the Amer. Math. Soc., Bd. 12, (1965), S. 343
R. W. Ritchie, Classes of predictably computable functions. Transactions of the Amer. Math. Soc., Bd. 106, (1963), S. 139–173
D. Rödding, Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen. Archiv für math. Logik u. Grundlagenforschung, Bd. 7, (1962), S. 139–158
D. Rödding, Über Darstellungen der elementaren Funktionen II. Archiv für math. Logik und Grundlagenforschung, Bd. 9 (1964), S. 36–48
H. Schwichtenberg, Rekursionszahlen und die Grzegorczyk-Hierarchie. Erscheint im Archiv für math. Logik und Grundlagenforschung.
J. C. Shepherdson und H. E. Sturgis, Computability of recursive functions. Journal of the Ass. for Computing Machinery, Bd. 10 (1963), S. 217–255
Editor information
Rights and permissions
Copyright information
© 1968 Springer-Verlag
About this paper
Cite this paper
Rödding, D. (1968). Klassen rekursiver funktionen. In: Löb, M.H. (eds) Proceedings of the Summer School in Logic Leeds, 1967. Lecture Notes in Mathematics, vol 70. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079096
Download citation
DOI: https://doi.org/10.1007/BFb0079096
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04240-2
Online ISBN: 978-3-540-35886-2
eBook Packages: Springer Book Archive