Cover Image

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

Full description

Saved in:
Bibliographic Details
Main Author: Ambos-Spies, Klaus (Author)
Other Authors: Müller, Gert H. (Editor) , Sacks, Gerald E. (Editor)
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:
Konferenzschrift > 1989 > Oberwolfach
Rekursionstheorie
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
Get full text
Author Notes:edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks

MARC

LEADER 00000cam a2200000 c 4500
001 1655219723
003 DE-627
005 20250117001234.0
007 cr uuu---uuuuu
008 140429s1990 gw |||||o 00| ||eng c
020 |a 9783540471424  |9 978-3-540-47142-4 
020 |a 9783540527725  |9 978-3-540-52772-5 
024 7 |a 10.1007/BFb0086109  |2 doi 
035 |a (DE-627)1655219723 
035 |a (DE-576)404658237 
035 |a (DE-599)BSZ404658237 
035 |a (OCoLC)838067303 
035 |a (OCoLC)838067303 
035 |a (OCoLC)1047796694 
035 |a (OCoLC)1061063709 
035 |a (OCoLC)1077741187 
035 |a (DE-601)NLM003707903 
035 |a (ZBM)0699.00011 
035 |a (DE-He213)978-3-540-47142-4 
035 |a (DE-627-1)040460061 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE 
050 0 |a QA8.9-10.3 
072 7 |a PBC  |2 bicssc 
072 7 |a PBCD  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
082 0 |a 511.3 
084 |a 27  |2 sdnb 
084 |a 27  |2 sdnb 
084 |a SI 850  |2 rvk  |0 (DE-625)rvk/143199: 
084 |a *00B25  |2 msc 
084 |a 03-06  |2 msc 
084 |a 31.10  |2 bkl 
100 1 |a Ambos-Spies, Klaus  |d 1951-  |0 (DE-588)141551607  |0 (DE-627)629951861  |0 (DE-576)16006810X  |4 aut 
245 1 0 |a Recursion Theory Week  |b Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989  |c edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks 
264 1 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1990 
300 |a Online-Ressource (VIII, 400 p, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Mathematics  |v 1432 
490 0 |a SpringerLink  |a Bücher 
490 0 |a Springer eBook Collection  |a Mathematics and Statistics 
520 |a 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 
650 0 |a Logic, Symbolic and mathematical 
650 0 |a Mathematics 
650 0 |a Mathematical logic. 
650 4 |a Mathematical Logic and Foundations 
650 4 |a Mathematics 
655 7 |a Konferenzschrift  |y 1989  |z Oberwolfach  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4122329-9  |0 (DE-627)105763241  |0 (DE-576)20955049X  |a Rekursionstheorie  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Müller, Gert H.  |d 1923-2006  |e Hrsg.  |0 (DE-588)1055806601  |0 (DE-627)793847850  |0 (DE-576)411182889  |4 edt 
700 1 |a Sacks, Gerald E.  |d 1933-2019  |e Hrsg.  |0 (DE-588)128780770  |0 (DE-627)37968165X  |0 (DE-576)162836643  |4 edt 
776 1 |z 9783540527725 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |a Recursion Theory Week (1989 : Oberwolfach)  |t Recursion Theory Week  |d Berlin : Springer, 1990  |h VI, 393 S.  |w (DE-627)27197348X  |w (DE-576)021342091  |z 3540527729  |z 0387527729 
830 0 |a Lecture notes in mathematics  |v 1432  |9 1432  |w (DE-627)348584407  |w (DE-576)100800718  |w (DE-600)2079379-0  |x 1617-9692  |7 am 
856 4 0 |u https://doi.org/10.1007/BFb0086109  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/BFb0086109  |q text/html  |x Resolving-System  |z Deutschlandweit zugänglich  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz404658237cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20151016110146  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:0699.00011  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)749212217 
889 |w (DE-627)639486185 
912 |a ZDB-1-SLN 
912 |a ZDB-2-BAE  |b 1990 
912 |a ZDB-2-LNM  |b 1990 
912 |a ZDB-2-SEB  |b 1990 
912 |a ZDB-2-SMA  |b 1990 
912 |a ZDB-2-SXMS  |b 1990 
935 |h GBV  |i ExPruef 
936 r v |a SI 850  |b Lecture notes in mathematics  |k Mathematik  |k Schriftenreihen  |k Schriftenreihen in der alphabetischen Ordnung nach Verfassern  |k Lecture notes in mathematics  |0 (DE-627)1271490013  |0 (DE-625)rvk/143199:  |0 (DE-576)201490013 
936 b k |a 31.10  |j Mathematische Logik  |j Mengenlehre  |q SEPA  |0 (DE-627)10640847X 
951 |a BO 
990 |a Rekursionstheorie 
992 |a 20230417 
993 |a ConferencePaper 
994 |a 1990 
998 |g 1055806601  |a Müller, Gert H.  |m 1055806601:Müller, Gert H.  |d 110000  |d 110100  |d 110000  |d 110400  |e 110000PM1055806601  |e 110100PM1055806601  |e 110000PM1055806601  |e 110400PM1055806601  |k 0/110000/  |k 1/110000/110100/  |k 0/110000/  |k 1/110000/110400/  |p 2 
998 |g 141551607  |a Ambos-Spies, Klaus  |m 141551607:Ambos-Spies, Klaus  |d 110000  |e 110000PA141551607  |k 0/110000/  |p 1  |x j 
999 |a KXP-PPN1655219723  |e 4310028799 
BIB |a Y 
JSO |a {"name":{"displayForm":["edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks"]},"person":[{"display":"Ambos-Spies, Klaus","role":"aut","family":"Ambos-Spies","given":"Klaus"},{"role":"edt","roleDisplay":"Hrsg.","display":"Müller, Gert H.","given":"Gert H.","family":"Müller"},{"given":"Gerald E.","family":"Sacks","role":"edt","roleDisplay":"Hrsg.","display":"Sacks, Gerald E."}],"id":{"isbn":["9783540471424","9783540527725"],"doi":["10.1007/BFb0086109"],"eki":["1655219723"]},"origin":[{"publisherPlace":"Berlin, Heidelberg","dateIssuedDisp":"1990","dateIssuedKey":"1990","publisher":"Springer Berlin Heidelberg"}],"title":[{"title_sort":"Recursion Theory Week","subtitle":"Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989","title":"Recursion Theory Week"}],"language":["eng"],"recId":"1655219723","physDesc":[{"extent":"Online-Ressource (VIII, 400 p, online resource)"}],"type":{"media":"Online-Ressource","bibl":"book"},"relMultPart":[{"physDesc":[{"extent":"Online-Ressource"}],"dispAlt":"Lecture notes in mathematics","id":{"issn":["1617-9692"],"eki":["348584407"],"zdb":["2079379-0"]},"origin":[{"publisherPlace":"Berlin ; Heidelberg","publisher":"Springer","dateIssuedKey":"1964","dateIssuedDisp":"1964-"}],"language":["eng"],"recId":"348584407","type":{"bibl":"serial","media":"Online-Ressource"},"disp":"Lecture Notes in Mathematics","titleAlt":[{"title":"Lecture notes in mathematics"}],"part":{"number_sort":["1432"],"number":["1432"]},"pubHistory":["Nr. 1.1964 -"],"person":[{"family":"Dold","given":"Albrecht","display":"Dold, Albrecht","role":"oth"}],"title":[{"title_sort":"Lecture notes in mathematics","title":"Lecture notes in mathematics"}]}]} 
SRT |a AMBOSSPIESRECURSIONT1990 

Similar Items