Recursion Theory and Computational Complexity

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Lolli, G. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: C.I.M.E. Summer Schools ; 79
• Θέματα: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.

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 recursio...

Πίνακας περιεχομένων:

• 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.