| |
|
| Artikel-Nr.: 858A-9783540527725 Herst.-Nr.: 9783540527725 EAN/GTIN: 9783540527725 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Klaus Ambos-Spies; Gert H. Müller; Gerald E. Sacks | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: complexity; complexity theory; computability; computability theory; proof; turing degree, complexity, complexity theory, computability, computability theory, proof, turing degree |
| | |
| |