Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2020]
|
| Schriftenreihe: | Trends in Logic, Studia Logica Library
53 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHN01 FHR01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBM01 UBT01 UBW01 UEI01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (x, 391 Seiten) Illustrationen |
| ISBN: | 9783030302290 |
| ISSN: | 1572-6126 |
| DOI: | 10.1007/978-3-030-30229-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046403681 | ||
| 003 | DE-604 | ||
| 005 | 20200225 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 200203s2020 |||| o||u| ||||||eng d | ||
| 020 | |a 9783030302290 |c Online |9 978-3-030-30229-0 | ||
| 024 | 7 | |a 10.1007/978-3-030-30229-0 |2 doi | |
| 035 | |a (ZDB-2-SMA)9783030302290 | ||
| 035 | |a (OCoLC)1140150824 | ||
| 035 | |a (DE-599)BVBBV046403681 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-898 |a DE-861 |a DE-523 |a DE-703 |a DE-863 |a DE-20 |a DE-739 |a DE-634 |a DE-862 |a DE-92 |a DE-824 |a DE-188 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 111 | 2 | |a Deutsche Mathematiker-Vereinigung |d 2015 |c Hamburg |e Jahrestagung |j Verfasser |0 (DE-588)1139447343 |4 aut | |
| 245 | 1 | 0 | |a Well-quasi orders in computation, logic, language and reasoning |b a unifying concept of proof theory, automata theory, formal languages and descriptive set theory |c Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 300 | |a 1 Online-Ressource (x, 391 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in logic |v volume 53 |x 1572-6126 | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Graph Theory | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Combinatorics | |
| 650 | 4 | |a Logic Design | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Graph theory | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Combinatorics | |
| 650 | 4 | |a Logic design | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Hamburg |2 gnd-content | |
| 700 | 1 | |a Schuster, Peter Michael |d 1966- |0 (DE-588)173129951 |4 edt | |
| 700 | 1 | |a Seisenberger, Monika |d 1968- |0 (DE-588)128641967 |4 edt | |
| 700 | 1 | |a Weiermann, Andreas |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-30228-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-30230-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-30231-3 |
| 830 | 0 | |a Trends in Logic, Studia Logica Library |v 53 |w (DE-604)BV043326888 |9 53 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-30229-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q ZDB-2-SMA_2020 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031816403 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l FHN01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l FWS01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l FWS02 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l HTW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l UBA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-30229-0 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 748235 |
|---|---|
| _version_ | 1806190624143048704 |
| any_adam_object | |
| author2 | Schuster, Peter Michael 1966- Seisenberger, Monika 1968- Weiermann, Andreas |
| author2_role | edt edt edt |
| author2_variant | p m s pm pms m s ms a w aw |
| author_GND | (DE-588)173129951 (DE-588)128641967 |
| author_corporate | Deutsche Mathematiker-Vereinigung Hamburg |
| author_corporate_role | aut |
| author_facet | Schuster, Peter Michael 1966- Seisenberger, Monika 1968- Weiermann, Andreas Deutsche Mathematiker-Vereinigung Hamburg |
| author_sort | Deutsche Mathematiker-Vereinigung Hamburg |
| building | Verbundindex |
| bvnumber | BV046403681 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (ZDB-2-SMA)9783030302290 (OCoLC)1140150824 (DE-599)BVBBV046403681 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-3-030-30229-0 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03672nmm a2200745zcb4500</leader><controlfield tag="001">BV046403681</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200225 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">200203s2020 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030302290</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-30229-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-30229-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)9783030302290</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1140150824</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046403681</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Deutsche Mathematiker-Vereinigung</subfield><subfield code="d">2015</subfield><subfield code="c">Hamburg</subfield><subfield code="e">Jahrestagung</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1139447343</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Well-quasi orders in computation, logic, language and reasoning</subfield><subfield code="b">a unifying concept of proof theory, automata theory, formal languages and descriptive set theory</subfield><subfield code="c">Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 391 Seiten)</subfield><subfield code="b">Illustrationen</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">volume 53</subfield><subfield code="x">1572-6126</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatorics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatorics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Hamburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter Michael</subfield><subfield code="d">1966-</subfield><subfield code="0">(DE-588)173129951</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seisenberger, Monika</subfield><subfield code="d">1968-</subfield><subfield code="0">(DE-588)128641967</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weiermann, Andreas</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-30228-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-30230-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-30231-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">53</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">53</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2020</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031816403</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-30229-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Hamburg gnd-content |
| genre_facet | Konferenzschrift 2015 Hamburg |
| id | DE-604.BV046403681 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T15:06:48Z |
| institution | BVB |
| institution_GND | (DE-588)1139447343 |
| isbn | 9783030302290 |
| issn | 1572-6126 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031816403 |
| oclc_num | 1140150824 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-898 DE-BY-UBR DE-861 DE-523 DE-703 DE-863 DE-BY-FWS DE-20 DE-739 DE-634 DE-862 DE-BY-FWS DE-92 DE-824 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-898 DE-BY-UBR DE-861 DE-523 DE-703 DE-863 DE-BY-FWS DE-20 DE-739 DE-634 DE-862 DE-BY-FWS DE-92 DE-824 DE-188 |
| physical | 1 Online-Ressource (x, 391 Seiten) Illustrationen |
| psigel | ZDB-2-SMA ZDB-2-SMA_2020 |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Trends in Logic, Studia Logica Library |
| series2 | Trends in logic |
| spellingShingle | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory Trends in Logic, Studia Logica Library Logic Graph Theory Mathematical Logic and Formal Languages Combinatorics Logic Design Graph theory Mathematical logic Logic design |
| subject_GND | (DE-588)1071861417 |
| title | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory |
| title_auth | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory |
| title_exact_search | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory |
| title_full | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors |
| title_fullStr | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors |
| title_full_unstemmed | Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors |
| title_short | Well-quasi orders in computation, logic, language and reasoning |
| title_sort | well quasi orders in computation logic language and reasoning a unifying concept of proof theory automata theory formal languages and descriptive set theory |
| title_sub | a unifying concept of proof theory, automata theory, formal languages and descriptive set theory |
| topic | Logic Graph Theory Mathematical Logic and Formal Languages Combinatorics Logic Design Graph theory Mathematical logic Logic design |
| topic_facet | Logic Graph Theory Mathematical Logic and Formal Languages Combinatorics Logic Design Graph theory Mathematical logic Logic design Konferenzschrift 2015 Hamburg |
| url | https://doi.org/10.1007/978-3-030-30229-0 |
| volume_link | (DE-604)BV043326888 |
| work_keys_str_mv | AT deutschemathematikervereinigunghamburg wellquasiordersincomputationlogiclanguageandreasoningaunifyingconceptofprooftheoryautomatatheoryformallanguagesanddescriptivesettheory AT schusterpetermichael wellquasiordersincomputationlogiclanguageandreasoningaunifyingconceptofprooftheoryautomatatheoryformallanguagesanddescriptivesettheory AT seisenbergermonika wellquasiordersincomputationlogiclanguageandreasoningaunifyingconceptofprooftheoryautomatatheoryformallanguagesanddescriptivesettheory AT weiermannandreas wellquasiordersincomputationlogiclanguageandreasoningaunifyingconceptofprooftheoryautomatatheoryformallanguagesanddescriptivesettheory |