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 /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Lolli, G. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:C.I.M.E. Summer Schools ; 79
Temas:
Mathematical logic.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares