Lolli, G.
Recursion Theory and Computational Complexity
Table of contents
1. Admissible Recursion Theory
Steve Homer
2. Computational Complexity and Recursion Theory
Barry E. Jacobs
3. A Survey of Set Recursion
Dag Normann
4. Priority Arguments in Higher Recursion Theory
Gerald E. Sacks
5. Constructions in the Recursively Enumerable Degrees
Robert I. Soare
6. Recursively Invariant -Recursion Theory
Wolfgang Maass
Avainsanat: Mathematics, Mathematical Logic and Foundations
- Tekijä(t)
- Lolli, G.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2011
- Kieli
- en
- Painos
- 1
- Sarja
- C.I.M.E. Summer Schools
- Sivumäärä
- 3 sivua
- Kategoria
- Eksaktit luonnontieteet
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783642110726
