Recursion Theory Week: proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1990
|
| Schriftenreihe: | Lecture notes in mathematics
1432. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VI, 393 S. |
| ISBN: | 3540527729 0387527729 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004132282 | ||
| 003 | DE-604 | ||
| 005 | 20240119 | ||
| 007 | t | ||
| 008 | 901001s1990 |||| 10||| eng d | ||
| 020 | |a 3540527729 |9 3-540-52772-9 | ||
| 020 | |a 0387527729 |9 0-387-52772-9 | ||
| 035 | |a (OCoLC)246276185 | ||
| 035 | |a (DE-599)BVBBV004132282 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-20 |a DE-824 |a DE-29T |a DE-706 |a DE-91G |a DE-19 |a DE-12 |a DE-384 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 084 | |a 03Dxx |2 msc | ||
| 084 | |a DAT 542f |2 stub | ||
| 111 | 2 | |a Recursion Theory Week |d 1989 |c Oberwolfach |j Verfasser |0 (DE-588)2113023-1 |4 aut | |
| 245 | 1 | 0 | |a Recursion Theory Week |b proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 |c K. Ambos-Sies ... (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1990 | |
| 300 | |a VI, 393 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 1432. | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Oberwolfach |2 gnd-content | |
| 689 | 0 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ambos-Spies, Klaus |d 1951- |e Sonstige |0 (DE-588)141551607 |4 oth | |
| 830 | 0 | |a Lecture notes in mathematics |v 1432. |w (DE-604)BV000676446 |9 1432 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002578807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002578807 | ||
Datensatz im Suchindex
| _version_ | 1804118348063047680 |
|---|---|
| adam_text | TABLE
OF
CONTENTS
AMBOS-SPIES,
К.,
HOMER,
S., and
YANG, D.
Honest
polynomial reductions and exptally sets
1
ARSLANOV, M.M.
On the structure of degrees below
0 23
CHONG, C.T. and MOURAD,
K.J.
Positive solutions to Post s problem
33
CLOTE, P.
The metamathematics of Fraisse s order type conjecture
41
COOPER,
S. B.
Enumeration reducibility, nondeterministic computations
and relative computability of partial functions
57
DOWNEY, R.
Notes on the
0
priority method with special attention to
density results
111
DOWNEY, R., JOCKUSCH, C, and
STOB,
M.
Array nonrecursive sets and multiple permitting arguments
141
DOWNEY, R. and MOURAD,
K.J.
Superbranching degrees
1 75
FEJER,
P.A.
and SHORE, R.A.
A direct construction of a minimal recursively enumerable
truth-table degree
187
GROSZEK,
M.
and MYTILINAIOS, M.
and the construction of a high degree
205
HAUGHT, CA.
and SHORE, R.A.
Undecidability and initial segments of the wtt-degrees
< 0 223
VI
KUČERA,
Α.
Randomness and generalizations of fixed point free functions
245
KUMMER,
M.
Recursive enumeration without repetition revisited
255
LEMPP, S. and LERMAN, M.
Priority arguments using iterated trees of strategies
277
MAASS, W. and
SLAMAN, T.A.
On the relationship between the complexity, the degree, and
the extension of a computable set
297
NERODE,
A. and
RÉMMEL,
J. B.
Polynomially isolated sets
323
SPREEN, D.
A characterization of effective topological spaces
363
Index of Authors
389
List of Participants
391
|
| any_adam_object | 1 |
| author_GND | (DE-588)141551607 |
| author_corporate | Recursion Theory Week Oberwolfach |
| author_corporate_role | aut |
| author_facet | Recursion Theory Week Oberwolfach |
| author_sort | Recursion Theory Week Oberwolfach |
| building | Verbundindex |
| bvnumber | BV004132282 |
| classification_rvk | SI 850 |
| classification_tum | DAT 542f |
| ctrlnum | (OCoLC)246276185 (DE-599)BVBBV004132282 |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01757nam a2200409 cb4500</leader><controlfield tag="001">BV004132282</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240119 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">901001s1990 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540527729</subfield><subfield code="9">3-540-52772-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387527729</subfield><subfield code="9">0-387-52772-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246276185</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004132282</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Dxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Recursion Theory Week</subfield><subfield code="d">1989</subfield><subfield code="c">Oberwolfach</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2113023-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursion Theory Week</subfield><subfield code="b">proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989</subfield><subfield code="c">K. Ambos-Sies ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 393 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">1432.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1989</subfield><subfield code="z">Oberwolfach</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ambos-Spies, Klaus</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)141551607</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">1432.</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">1432</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002578807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002578807</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1989 Oberwolfach gnd-content |
| genre_facet | Konferenzschrift 1989 Oberwolfach |
| id | DE-604.BV004132282 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:08:52Z |
| institution | BVB |
| institution_GND | (DE-588)2113023-1 |
| isbn | 3540527729 0387527729 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002578807 |
| oclc_num | 246276185 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12 DE-384 DE-83 DE-11 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-20 DE-824 DE-29T DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12 DE-384 DE-83 DE-11 DE-188 |
| physical | VI, 393 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Recursion Theory Week 1989 Oberwolfach Verfasser (DE-588)2113023-1 aut Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 K. Ambos-Sies ... (ed.) Berlin u.a. Springer 1990 VI, 393 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in mathematics 1432. Literaturangaben Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1989 Oberwolfach gnd-content Rekursionstheorie (DE-588)4122329-9 s DE-604 Ambos-Spies, Klaus 1951- Sonstige (DE-588)141551607 oth Lecture notes in mathematics 1432. (DE-604)BV000676446 1432 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002578807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 Lecture notes in mathematics Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)1071861417 |
| title | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 |
| title_auth | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 |
| title_exact_search | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 |
| title_full | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 K. Ambos-Sies ... (ed.) |
| title_fullStr | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 K. Ambos-Sies ... (ed.) |
| title_full_unstemmed | Recursion Theory Week proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 K. Ambos-Sies ... (ed.) |
| title_short | Recursion Theory Week |
| title_sort | recursion theory week proceedings of a conference held in oberwolfach frg march 19 25 1989 |
| title_sub | proceedings of a conference held in Oberwolfach, FRG, March 19 - 25, 1989 |
| topic | Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Rekursionstheorie Konferenzschrift 1989 Oberwolfach |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002578807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT recursiontheoryweekoberwolfach recursiontheoryweekproceedingsofaconferenceheldinoberwolfachfrgmarch19251989 AT ambosspiesklaus recursiontheoryweekproceedingsofaconferenceheldinoberwolfachfrgmarch19251989 |