Advertisement

A generalized computability thesis

  • Klaus Weihrauch
Section C Computability, Decidability & Arithmetic Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)

Keywords

Recursive Function Finite Automaton Word Function Finite Graph Standard Numbering 
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.

References

  1. 1.
    A.I. Mal'cev, Algorithms and recursive functions, Wolters-Noordhoff Publishing, Groningen, The Netherlands, 1970.Google Scholar
  2. 2.
    H. Rogers, Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.Google Scholar
  3. 3.
    G. Asser, Rekursive Wortfunktionen, Zeitschrift für math. Logik und Grundlagen der Mathematik, 6(1960), 258–278.Google Scholar
  4. 4.
    Ju.L. Ersov, Theorie der Numerierungen I (bzw.II), Zeitschrift für math. Logik und Grundlagen der Mathematik, 19 (1973), 289–388 (bzw. 21 (1975), 473–584).Google Scholar
  5. 5.
    G. Asser, Berechenbare Graphenabbildungen. In: Kompliziertheit von Lern-und Erkennungsprozessen, pp. 7–17, Friedrich-Schiller-Universität Jena, 1975.Google Scholar
  6. 6.
    D. RÖdding, Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen, Archiv f. math. Logik und Grundlagen, 10(1967),13–29.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Klaus Weihrauch
    • 1
  1. 1.Lehrstuhl für Informatik IRWTH AachenAachen

Personalised recommendations