Recursion Theory and Computational Complexity
Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
Seiten
2010
|
1. Reprint of the 1st ed. C.I.M.E., Ed. Liguori, Napoli & Birkhäuser, 1981
Springer Berlin (Verlag)
978-3-642-11071-9 (ISBN)
Springer Berlin (Verlag)
978-3-642-11071-9 (ISBN)
'S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.
S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.
Erscheint lt. Verlag | 30.11.2010 |
---|---|
Reihe/Serie | C.I.M.E. Summer Schools |
Zusatzinfo | 236 p. 6 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 760 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
ISBN-10 | 3-642-11071-1 / 3642110711 |
ISBN-13 | 978-3-642-11071-9 / 9783642110719 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Hardcover (2023)
Hanser, Carl (Verlag)
CHF 41,95