Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston, MA
Birkhäuser Boston
1993
|
| Schriftenreihe: | Progress in Computer Science and Applied Logic
12 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics |
| Beschreibung: | 1 Online-Ressource (XIV, 816 p) |
| ISBN: | 9781461203254 9781461267089 |
| DOI: | 10.1007/978-1-4612-0325-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042419503 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461203254 |c Online |9 978-1-4612-0325-4 | ||
| 020 | |a 9781461267089 |c Print |9 978-1-4612-6708-9 | ||
| 024 | 7 | |a 10.1007/978-1-4612-0325-4 |2 doi | |
| 035 | |a (OCoLC)1184264827 | ||
| 035 | |a (DE-599)BVBBV042419503 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Crossley, John N. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical Methods |b In Honor of Anil Nerode’s Sixtieth Birthday |c edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler |
| 264 | 1 | |a Boston, MA |b Birkhäuser Boston |c 1993 | |
| 300 | |a 1 Online-Ressource (XIV, 816 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Progress in Computer Science and Applied Logic |v 12 | |
| 500 | |a The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics | ||
| 600 | 1 | 7 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |2 gnd |9 rswk-swf |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Math Applications in Computer Science | |
| 650 | 4 | |a Applications of Mathematics | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4006432-3 |a Bibliografie |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Ithaca NY |2 gnd-content | |
| 655 | 7 | |8 3\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Ithaca, NY |2 gnd-content | |
| 655 | 7 | |8 4\p |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |D p |
| 689 | 0 | |8 5\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |8 6\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |8 7\p |5 DE-604 | |
| 700 | 1 | |a Remmel, Jeffrey B. |e Sonstige |4 oth | |
| 700 | 1 | |a Shore, Richard A. |e Sonstige |4 oth | |
| 700 | 1 | |a Sweedler, Moss E. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-0325-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854920 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 6\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 7\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153090275803136 |
|---|---|
| any_adam_object | |
| author | Crossley, John N. |
| author_facet | Crossley, John N. |
| author_role | aut |
| author_sort | Crossley, John N. |
| author_variant | j n c jn jnc |
| building | Verbundindex |
| bvnumber | BV042419503 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184264827 (DE-599)BVBBV042419503 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-1-4612-0325-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04821nmm a2200781zcb4500</leader><controlfield tag="001">BV042419503</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461203254</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4612-0325-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461267089</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4612-6708-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4612-0325-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184264827</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419503</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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="100" ind1="1" ind2=" "><subfield code="a">Crossley, John N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical Methods</subfield><subfield code="b">In Honor of Anil Nerode’s Sixtieth Birthday</subfield><subfield code="c">edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Birkhäuser Boston</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 816 p)</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="0" ind2=" "><subfield code="a">Progress in Computer Science and Applied Logic</subfield><subfield code="v">12</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Math Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Applications of Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</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">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4006432-3</subfield><subfield code="a">Bibliografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Ithaca NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">3\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Ithaca, NY</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">4\p</subfield><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">6\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">7\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Remmel, Jeffrey B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shore, Richard A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sweedler, Moss E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4612-0325-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854920</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">6\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">7\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4006432-3 Bibliografie gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1992 Ithaca NY gnd-content 3\p (DE-588)1071861417 Konferenzschrift 1992 Ithaca, NY gnd-content 4\p (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Bibliografie Konferenzschrift 1992 Ithaca NY Konferenzschrift 1992 Ithaca, NY Festschrift |
| id | DE-604.BV042419503 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781461203254 9781461267089 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854920 |
| oclc_num | 1184264827 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XIV, 816 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Birkhäuser Boston |
| record_format | marc |
| series2 | Progress in Computer Science and Applied Logic |
| spelling | Crossley, John N. Verfasser aut Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler Boston, MA Birkhäuser Boston 1993 1 Online-Ressource (XIV, 816 p) txt rdacontent c rdamedia cr rdacarrier Progress in Computer Science and Applied Logic 12 The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics Nerode, Anil 1932- (DE-588)119133865 gnd rswk-swf Computer science Logic design Mathematics Logic, Symbolic and mathematical Computer Science Math Applications in Computer Science Applications of Mathematics Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logics and Meanings of Programs Informatik Mathematik Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4006432-3 Bibliografie gnd-content 2\p (DE-588)1071861417 Konferenzschrift 1992 Ithaca NY gnd-content 3\p (DE-588)1071861417 Konferenzschrift 1992 Ithaca, NY gnd-content 4\p (DE-588)4016928-5 Festschrift gnd-content Nerode, Anil 1932- (DE-588)119133865 p 5\p DE-604 Logische Programmierung (DE-588)4195096-3 s 6\p DE-604 Mathematische Logik (DE-588)4037951-6 s 7\p DE-604 Remmel, Jeffrey B. Sonstige oth Shore, Richard A. Sonstige oth Sweedler, Moss E. Sonstige oth https://doi.org/10.1007/978-1-4612-0325-4 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 6\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 7\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Crossley, John N. Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday Nerode, Anil 1932- (DE-588)119133865 gnd Computer science Logic design Mathematics Logic, Symbolic and mathematical Computer Science Math Applications in Computer Science Applications of Mathematics Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logics and Meanings of Programs Informatik Mathematik Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)119133865 (DE-588)4195096-3 (DE-588)4037951-6 (DE-588)4006432-3 (DE-588)1071861417 (DE-588)4016928-5 |
| title | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday |
| title_auth | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday |
| title_exact_search | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday |
| title_full | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler |
| title_fullStr | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler |
| title_full_unstemmed | Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler |
| title_short | Logical Methods |
| title_sort | logical methods in honor of anil nerode s sixtieth birthday |
| title_sub | In Honor of Anil Nerode’s Sixtieth Birthday |
| topic | Nerode, Anil 1932- (DE-588)119133865 gnd Computer science Logic design Mathematics Logic, Symbolic and mathematical Computer Science Math Applications in Computer Science Applications of Mathematics Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logics and Meanings of Programs Informatik Mathematik Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Nerode, Anil 1932- Computer science Logic design Mathematics Logic, Symbolic and mathematical Computer Science Math Applications in Computer Science Applications of Mathematics Mathematical Logic and Foundations Mathematical Logic and Formal Languages Logics and Meanings of Programs Informatik Mathematik Logische Programmierung Mathematische Logik Bibliografie Konferenzschrift 1992 Ithaca NY Konferenzschrift 1992 Ithaca, NY Festschrift |
| url | https://doi.org/10.1007/978-1-4612-0325-4 |
| work_keys_str_mv | AT crossleyjohnn logicalmethodsinhonorofanilnerodessixtiethbirthday AT remmeljeffreyb logicalmethodsinhonorofanilnerodessixtiethbirthday AT shorericharda logicalmethodsinhonorofanilnerodessixtiethbirthday AT sweedlermosse logicalmethodsinhonorofanilnerodessixtiethbirthday |