Cargando…
Recursion Theory and Computational Complexity
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...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2011
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-642-11072-6 http://cds.cern.ch/record/1414155 |
| _version_ | 1780923997677944832 |
|---|---|
| author | Lolli, G |
| author_facet | Lolli, G |
| author_sort | Lolli, G |
| collection | CERN |
| description | 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. |
| id | cern-1414155 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2011 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-14141552021-04-22T00:40:40Zdoi:10.1007/978-3-642-11072-6http://cds.cern.ch/record/1414155engLolli, GRecursion Theory and Computational ComplexityMathematical Physics and MathematicsS. 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.Springeroai:cds.cern.ch:14141552011 |
| spellingShingle | Mathematical Physics and Mathematics Lolli, G Recursion Theory and Computational Complexity |
| title | Recursion Theory and Computational Complexity |
| title_full | Recursion Theory and Computational Complexity |
| title_fullStr | Recursion Theory and Computational Complexity |
| title_full_unstemmed | Recursion Theory and Computational Complexity |
| title_short | Recursion Theory and Computational Complexity |
| title_sort | recursion theory and computational complexity |
| topic | Mathematical Physics and Mathematics |
| url | https://dx.doi.org/10.1007/978-3-642-11072-6 http://cds.cern.ch/record/1414155 |
| work_keys_str_mv | AT lollig recursiontheoryandcomputationalcomplexity |