Recursion theory and complexity: proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Berlin ; New York
<<de>> Gruyter
1999
|
| Schriftenreihe: | De Gruyter series in logic and its applications
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 239 S. |
| ISBN: | 3110165872 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012631678 | ||
| 003 | DE-604 | ||
| 005 | 20010423 | ||
| 007 | t | ||
| 008 | 990622s1999 gw |||| 10||| ger d | ||
| 020 | |a 3110165872 |c Gb. |9 3-11-016587-2 | ||
| 035 | |a (OCoLC)41580434 | ||
| 035 | |a (DE-599)BVBBV012631678 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-824 |a DE-91G |a DE-11 | ||
| 050 | 0 | |a QA9.6 | |
| 082 | 0 | |a 511.3/5 |2 21 | |
| 084 | |a SD 1997 |0 (DE-625)142731: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 542f |2 stub | ||
| 245 | 1 | 0 | |a Recursion theory and complexity |b proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 |c ed. Marat M. Arslanov ; Steffen Lempp |
| 264 | 1 | |a Berlin ; New York |b <<de>> Gruyter |c 1999 | |
| 300 | |a VIII, 239 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a De Gruyter series in logic and its applications |v 2 | |
| 650 | 4 | |a Complexité de calcul (Informatique) - Congrès | |
| 650 | 4 | |a Récursivité, Théorie de la - Congrès | |
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 4 | |a Recursion theory |v Congresses | |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Kasan |2 gnd-content | |
| 689 | 0 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 0 | 1 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Arslanov, Marat M. |d 1944- |e Sonstige |0 (DE-588)121333744 |4 oth | |
| 830 | 0 | |a De Gruyter series in logic and its applications |v 2 |w (DE-604)BV012743398 |9 2 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008581825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008581825 | ||
Datensatz im Suchindex
| _version_ | 1804127288444321792 |
|---|---|
| adam_text | RECURSION THEORY AND COMPLEXITY PROCEEDINGS OF THE KAZAN 97 WORKSHOP
KAZAN, RUSSIA, JULY 14-19, 1997 EDITORS MARAT M. ARSLANOV STEFFEN LEMPP
W DE G WALTER DE GRUYTER BERLIN * NEW YORK 1999 TABLE OF CONTENTS /. V.
ASHAEV PRIORITY METHOD IN GENERALIZED COMPUTABILITY 1 D. CENZER AND J.
B. REMMEL POLYNOMIAL-TIME VERSUS COMPUTABLE BOOLEAN ALGEBRAS 15 R. G.
DOWNEY AND S. LEMPP THE PROOF-THEORETIC STRENGTH OF THE DUSHNIK-MILLER
THEOREM FOR COUNTABLE LINEAR ORDERS 55 V. S. HARIZANOV EFFECTIVELY
NOWHERE SIMPLE RELATIONS ON COMPUTABLE STRUCTURES 59 P. G. HINMAN JUMP
TRACES WITH LARGE GAPS 71 SH. ISHMUKHAMETOV WEAK RECURSIVE DEGREES AND A
PROBLEM OF SPECTOR 81 K. V. KOROVIN COMPOSITIONS OF PERMUTATIONS AND
ALGORITHMIC REDUCIBILITIES 89 M. V. KOROVINA AND O. V. KUDINOV SOME
PROPERTIES OF MAJORANT-COMPUTABILITY 97 A. S. MOROZOV HYPERARITHMETICAL
FUNCTIONS AND ALGEBRAICITY 115 A. SHLAPENTOKH WEAK PRESENTATIONS OF
FIELDS NOT EXTENDIBLE TO RECURSIVE PRESENTATIONS 131 R. SHORE AND A.
SORBI JUMPS OF EJ-HIGH E-DEGREES AND PROPERLY? E-DEGREES 157 VIII TABLE
OF CONTENTS B. SOLON ENUMERATION REDUCIBILITY AND THE PROBLEM OF THE
NONTOTAL PROPERTY OF E-DEGREES 173 V. SOLOVYEV ALGEBRAS OF RECURSIVE
FUNCTIONS 193 YUE YANG 2 INDUCTION AND CUPPABLE DEGREES 215 OPEN
PROBLEMS 229 LIST OF TALKS 235 LIST OF CONTRIBUTORS 237
|
| any_adam_object | 1 |
| author_GND | (DE-588)121333744 |
| building | Verbundindex |
| bvnumber | BV012631678 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.6 |
| callnumber-search | QA9.6 |
| callnumber-sort | QA 19.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1997 SK 130 |
| classification_tum | DAT 542f |
| ctrlnum | (OCoLC)41580434 (DE-599)BVBBV012631678 |
| dewey-full | 511.3/5 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/5 |
| dewey-search | 511.3/5 |
| dewey-sort | 3511.3 15 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02030nam a2200481 cb4500</leader><controlfield tag="001">BV012631678</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010423 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990622s1999 gw |||| 10||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110165872</subfield><subfield code="c">Gb.</subfield><subfield code="9">3-11-016587-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41580434</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012631678</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/5</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1997</subfield><subfield code="0">(DE-625)142731:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursion theory and complexity</subfield><subfield code="b">proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997</subfield><subfield code="c">ed. Marat M. Arslanov ; Steffen Lempp</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; New York</subfield><subfield code="b"><<de>> Gruyter</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 239 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">De Gruyter series in logic and its applications</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexité de calcul (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Récursivité, Théorie de la - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory</subfield><subfield code="v">Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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">1997</subfield><subfield code="z">Kasan</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="1"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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">Arslanov, Marat M.</subfield><subfield code="d">1944-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121333744</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">De Gruyter series in logic and its applications</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV012743398</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=008581825&sequence=000001&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-008581825</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Kasan gnd-content |
| genre_facet | Konferenzschrift 1997 Kasan |
| id | DE-604.BV012631678 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:30:58Z |
| institution | BVB |
| isbn | 3110165872 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008581825 |
| oclc_num | 41580434 |
| open_access_boolean | |
| owner | DE-739 DE-824 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-739 DE-824 DE-91G DE-BY-TUM DE-11 |
| physical | VIII, 239 S. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | <<de>> Gruyter |
| record_format | marc |
| series | De Gruyter series in logic and its applications |
| series2 | De Gruyter series in logic and its applications |
| spelling | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 ed. Marat M. Arslanov ; Steffen Lempp Berlin ; New York <<de>> Gruyter 1999 VIII, 239 S. txt rdacontent n rdamedia nc rdacarrier De Gruyter series in logic and its applications 2 Complexité de calcul (Informatique) - Congrès Récursivité, Théorie de la - Congrès Computational complexity Congresses Recursion theory Congresses Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Kasan gnd-content Rekursionstheorie (DE-588)4122329-9 s Berechnungskomplexität (DE-588)4134751-1 s DE-604 Arslanov, Marat M. 1944- Sonstige (DE-588)121333744 oth De Gruyter series in logic and its applications 2 (DE-604)BV012743398 2 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008581825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 De Gruyter series in logic and its applications Complexité de calcul (Informatique) - Congrès Récursivité, Théorie de la - Congrès Computational complexity Congresses Recursion theory Congresses Rekursionstheorie (DE-588)4122329-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4122329-9 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 |
| title_auth | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 |
| title_exact_search | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 |
| title_full | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 ed. Marat M. Arslanov ; Steffen Lempp |
| title_fullStr | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 ed. Marat M. Arslanov ; Steffen Lempp |
| title_full_unstemmed | Recursion theory and complexity proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 ed. Marat M. Arslanov ; Steffen Lempp |
| title_short | Recursion theory and complexity |
| title_sort | recursion theory and complexity proceedings of the kazan 97 workshop kazan russia july 14 19 1997 |
| title_sub | proceedings of the Kazan '97 workshop, Kazan, Russia, July 14 - 19, 1997 |
| topic | Complexité de calcul (Informatique) - Congrès Récursivité, Théorie de la - Congrès Computational complexity Congresses Recursion theory Congresses Rekursionstheorie (DE-588)4122329-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Complexité de calcul (Informatique) - Congrès Récursivité, Théorie de la - Congrès Computational complexity Congresses Recursion theory Congresses Rekursionstheorie Berechnungskomplexität Konferenzschrift 1997 Kasan |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008581825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012743398 |
| work_keys_str_mv | AT arslanovmaratm recursiontheoryandcomplexityproceedingsofthekazan97workshopkazanrussiajuly14191997 |