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...
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: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Model Theory and Applications Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975 /
Publicado: (2011) -
Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
Publicado: (2011) -
Teoria algebrica dei meccanismi automatici Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959 /
Publicado: (2012) -
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction /
por: Pudlák, Pavel
Publicado: (2013) -
Around and Beyond the Square of Opposition
Publicado: (2012)