Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
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,...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Paper |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1990
|
| Series: | Lecture notes in mathematics
1432 |
| In: |
Lecture notes in mathematics (1432)
|
| DOI: | 10.1007/BFb0086109 |
| Subjects: | |
| Online Access: | Verlag, lizenzpflichtig, Volltext: https://doi.org/10.1007/BFb0086109 Resolving-System, Deutschlandweit zugänglich, Volltext: http://dx.doi.org/10.1007/BFb0086109 Cover: https://swbplus.bsz-bw.de/bsz404658237cov.jpg Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0699.00011 
|
| Author Notes: | edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks |
| Summary: | 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 |
|---|---|
| Physical Description: | Online Resource |
| ISBN: | 9783540471424 9783540527725 |
| DOI: | 10.1007/BFb0086109 |