Recursion theory week [electronic resource] : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.)
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:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1990.
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
1432. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b8434500 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 090118s1990 gw ob 101 0 eng d | ||
| 005 | 20240418143006.3 | ||
| 019 | |a 624475814 |a 680171298 | ||
| 020 | |a 9783540471424 |q (electronic bk.) | ||
| 020 | |a 3540471421 |q (electronic bk.) | ||
| 020 | |z 9780387527727 | ||
| 020 | |z 0387527729 | ||
| 020 | |z 9783540527725 | ||
| 020 | |z 3540527729 | ||
| 035 | |a (OCoLC)spr298655419 | ||
| 035 | |a (OCoLC)298655419 |z (OCoLC)624475814 |z (OCoLC)680171298 | ||
| 037 | |a spr10.1007/BFb0086109 | ||
| 040 | |a SPLNM |b eng |e pn |c SPLNM |d COO |d GW5XE |d OCLCQ |d GW5XE |d OCLCE |d OCLCF |d OCLCQ |d OCL |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA3 |b .L28 no. 1432 |a QA9.6 | |
| 245 | 0 | 0 | |a Recursion theory week |h [electronic resource] : |b proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / |c K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c ©1990. | ||
| 300 | |a 1 online resource (vi, 393 pages) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in mathematics, |x 0075-8434 ; |v 1432. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a From the Contents: S.B. Cooper: Enumeration reducibility, nondeterministic computations and relative computability of partial functions -- R. Downey, C. Jockusch, M. Stob: Array nonrecursive sets and multiple permitting arguments -- C.A. Haught, R.A. Shore: Undecidability and initial segments of the wtt-degrees l 0' -- S. Lempp, M. Lerman: Priority arguments using iterated trees of strategies -- W. Maass, T.A. Slaman: On the relation ship between the complexity, the degree, and the extension of a computable set -- A. Nerode, J.B. Remmel: Polynomially isolated sets. | |
| 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Recursion theory |v Congresses. | |
| 650 | 7 | |a Recursion theory. |2 fast |0 (OCoLC)fst01091982. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Ambos-Spies, Klaus. | |
| 700 | 1 | |a Müller, G. H. |q (Gert Heinz), |d 1923- |0 http://id.loc.gov/authorities/names/n50004657 |1 http://isni.org/isni/0000000109675301. | |
| 700 | 1 | |a Sacks, Gerald E. |0 http://id.loc.gov/authorities/names/n83827676 |1 http://isni.org/isni/0000000374503156. | |
| 776 | 0 | 8 | |i Print version: |t Recursion theory week. |d Berlin ; New York : Springer-Verlag, ©1990 |z 3540527729 |w (DLC) 91105618 |w (OCoLC)22393159. |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 1432. |0 http://id.loc.gov/authorities/names/n42015165. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/BFb0086109 |z Full Text (via Springer) |
| 907 | |a .b84345007 |b 03-19-20 |c 10-07-15 | ||
| 998 | |a web |b 05-01-17 |c g |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b84345007 |b 07-02-19 |c 10-07-15 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b84345007 |b 07-06-17 |c 10-07-15 | ||
| 907 | |a .b84345007 |b 05-23-17 |c 10-07-15 | ||
| 915 | |a I | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Mathematics | ||
| 956 | |a Mathematics | ||
| 956 | |a Springer e-books: Archive | ||
| 999 | f | f | |i b3b0142f-7109-59f3-a881-2686554339fb |s d43f6ebd-bac1-5ab6-933f-3e9755a07be0 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA3 .L28 no. 1432 QA9.6 |h Library of Congress classification |i Ebooks, Prospector |n 1 |