Advertisement

Klassen rekursiver funktionen

  • D. Rödding
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 70)

Keywords

Dann Gilt 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. A. Grzegorczyk. Fonctions récursives. Paris, Louvain 1961zbMATHGoogle Scholar
  2. H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.Google Scholar
  3. Berlin, Göttingen, Heidelberg 1961Google Scholar
  4. S. C. Kleene, Introduction to metamathematics. Amsterdam 1952Google Scholar
  5. R. Péter, Rekursive Funktionen. Budapest 1951Google Scholar
  6. Ein grosser Teil der targestellten Methoden und Ergebnisse wurde den folgenden Arbeiten entnommenGoogle Scholar
  7. P. Axt, Enumeration and the Grzegorczyk hierarchy. Zeitschrift math. Logik und Grundlagen der Math., Bd. 9 (1963), S. 53–65MathSciNetCrossRefzbMATHGoogle Scholar
  8. A. Grzegorczyk, Some classes of recursive functions, Rozprawy Matematyczne IV, Warschau 1953Google Scholar
  9. W. Heinermann, Untersuchungen über die Rekursionszahlen rekursiver Funktionen. Dissertation, Münster 1961Google Scholar
  10. S. C. Kleene, Extension of an effectively generated class of functions by enumeration, Coll. Math., Bd. VI (1958), S. 67–78.MathSciNetzbMATHGoogle Scholar
  11. 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–455MathSciNetCrossRefzbMATHGoogle Scholar
  12. D. M. Richie, Complexity classification of primitive recursive functions by their machine programs. Notices of the Amer. Math. Soc., Bd. 12, (1965), S. 343Google Scholar
  13. R. W. Ritchie, Classes of predictably computable functions. Transactions of the Amer. Math. Soc., Bd. 106, (1963), S. 139–173MathSciNetCrossRefzbMATHGoogle Scholar
  14. D. Rödding, Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen. Archiv für math. Logik u. Grundlagenforschung, Bd. 7, (1962), S. 139–158MathSciNetCrossRefzbMATHGoogle Scholar
  15. D. Rödding, Über Darstellungen der elementaren Funktionen II. Archiv für math. Logik und Grundlagenforschung, Bd. 9 (1964), S. 36–48CrossRefzbMATHGoogle Scholar
  16. H. Schwichtenberg, Rekursionszahlen und die Grzegorczyk-Hierarchie. Erscheint im Archiv für math. Logik und Grundlagenforschung.Google Scholar
  17. J. C. Shepherdson und H. E. Sturgis, Computability of recursive functions. Journal of the Ass. for Computing Machinery, Bd. 10 (1963), S. 217–255MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1968

Authors and Affiliations

  • D. Rödding

There are no affiliations available

Personalised recommendations