Buchumschlag

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,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ambos-Spies, Klaus (VerfasserIn)
Weitere Verfasser: Müller, Gert H. (HerausgeberIn) , Sacks, Gerald E. (HerausgeberIn)
Dokumenttyp: Konferenzschrift
Sprache:Englisch
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 1990
Schriftenreihe:Lecture notes in mathematics 1432
In: Lecture notes in mathematics (1432)

DOI:10.1007/BFb0086109
Schlagworte:
Konferenzschrift > 1989 > Oberwolfach
Rekursionstheorie
Online-Zugang: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
Volltext
Verfasserangaben:edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks
Beschreibung
Zusammenfassung: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
Beschreibung:Online Resource
ISBN:9783540471424
9783540527725
DOI:10.1007/BFb0086109

Ähnliche Einträge