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

236 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: C.I.M.E. Summer Schools
• Themen: Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik
• ISBN: 9783642110719
• Sprache: Englisch
• Erscheinungsdatum: 30.11.2010
• Größe: 23.5 x 15.5 cm
• Verlag: Springer Berlin
• Herausgegeben von: G. Lolli