Cargando…
Recursion Theory Week
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory,...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
1990
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/BFb0086109 http://cds.cern.ch/record/1696216 |
| _version_ | 1780936078608302080 |
|---|---|
| author | Ambos-Spies, Klaus Müller, Gert Sacks, Gerald |
| author_facet | Ambos-Spies, Klaus Müller, Gert Sacks, Gerald |
| author_sort | Ambos-Spies, Klaus |
| collection | CERN |
| description | These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics. |
| id | cern-1696216 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1990 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-16962162021-04-22T07:04:54Zdoi:10.1007/BFb0086109http://cds.cern.ch/record/1696216engAmbos-Spies, KlausMüller, GertSacks, GeraldRecursion Theory WeekMathematical Physics and MathematicsThese proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.Springeroai:cds.cern.ch:16962161990 |
| spellingShingle | Mathematical Physics and Mathematics Ambos-Spies, Klaus Müller, Gert Sacks, Gerald Recursion Theory Week |
| title | Recursion Theory Week |
| title_full | Recursion Theory Week |
| title_fullStr | Recursion Theory Week |
| title_full_unstemmed | Recursion Theory Week |
| title_short | Recursion Theory Week |
| title_sort | recursion theory week |
| topic | Mathematical Physics and Mathematics |
| url | https://dx.doi.org/10.1007/BFb0086109 http://cds.cern.ch/record/1696216 |
| work_keys_str_mv | AT ambosspiesklaus recursiontheoryweek AT mullergert recursiontheoryweek AT sacksgerald recursiontheoryweek |