Recursion Theory and Computational Complexity [recurso electrónico] / edited by G. Lolli.
Tipo de material: TextoSeries C.I.M.E. Summer Schools ; 79Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: 236p. 6 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642110726Tema(s): Mathematics | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and FoundationsFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 511.3 Clasificación LoC:QA8.9-10.3Recursos en línea: Libro electrónico
Contenidos:
En: Springer eBooksResumen: 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.
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA8.9 -10.3 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 373928-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA8.9 -10.3 Proofs and Fundamentals | QA8.9 -10.3 Reading, Writing, and Proving | QA8.9 -10.3 Ernst Zermelo - Collected Works/Gesammelte Werke | QA8.9 -10.3 Recursion Theory and Computational Complexity | QA8.9 -10.3 Aspects of Mathematical Logic | QA8.9 -10.3 Model Theory and Applications | QA8.9 -10.3 Hyperfinite Dirichlet Forms and Stochastic Processes |
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.
19