Recursion Theory Week | Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 | ISBN 9783540471424

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

herausgegeben von Klaus Ambos-Spies, Gert H. Müller und Gerald E. Sacks
Mitwirkende
Herausgegeben vonKlaus Ambos-Spies
Herausgegeben vonGert H. Müller
Herausgegeben vonGerald E. Sacks
Buchcover Recursion Theory Week  | EAN 9783540471424 | ISBN 3-540-47142-1 | ISBN 978-3-540-47142-4

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

herausgegeben von Klaus Ambos-Spies, Gert H. Müller und Gerald E. Sacks
Mitwirkende
Herausgegeben vonKlaus Ambos-Spies
Herausgegeben vonGert H. Müller
Herausgegeben vonGerald E. Sacks
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.