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
