Infinite words: automata, semigroups, logic and games
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
Elsevier
2004
|
| Edition: | 1st ed |
| Series: | Pure and applied mathematics (Academic Press)
141 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | "Academic Press." Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Bochi, McNaughton and Schätzenberger. Serves as both an introduction to the field and as a reference book. Contains numerous exercises desgined to aid students and readers. Self-contained chapters provide helpful guidance for lectures Includes bibliographical references (p. [499]-521) |
| Physical Description: | 1 Online-Ressource (xi, 538 p.) |
| ISBN: | 9780125321112 0125321112 9780080525648 0080525644 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317362 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9780125321112 |9 978-0-12-532111-2 | ||
| 020 | |a 0125321112 |9 0-12-532111-2 | ||
| 020 | |a 9780080525648 |c electronic bk. |9 978-0-08-052564-8 | ||
| 020 | |a 0080525644 |c electronic bk. |9 0-08-052564-4 | ||
| 035 | |a (ZDB-33-EBS)ocn162682102 | ||
| 035 | |a (OCoLC)162682102 | ||
| 035 | |a (DE-599)BVBBV042317362 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 512.2 |2 22 | |
| 100 | 1 | |a Perrin, Dominique |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Infinite words |b automata, semigroups, logic and games |c Dominique Perrin and Jean-Éric Pin |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b Elsevier |c 2004 | |
| 300 | |a 1 Online-Ressource (xi, 538 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Pure and applied mathematics (Academic Press) |v 141 | |
| 500 | |a "Academic Press." | ||
| 500 | |a Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Bochi, McNaughton and Schätzenberger. Serves as both an introduction to the field and as a reference book. Contains numerous exercises desgined to aid students and readers. Self-contained chapters provide helpful guidance for lectures | ||
| 500 | |a Includes bibliographical references (p. [499]-521) | ||
| 650 | 4 | |a Automates mathématiques, Théorie des | |
| 650 | 4 | |a Groupes, Théorie des | |
| 650 | 7 | |a Automatentheorie |2 gtt | |
| 650 | 7 | |a Speltheorie |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Groepentheorie |2 gtt | |
| 650 | 7 | |a Topologie |2 gtt | |
| 650 | 7 | |a MATHEMATICS / Group Theory |2 bisacsh | |
| 650 | 7 | |a Group theory |2 fast | |
| 650 | 7 | |a Machine theory |2 fast | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Group theory | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gruppentheorie |0 (DE-588)4072157-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | 1 | |a Gruppentheorie |0 (DE-588)4072157-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Pin, Jean Eric |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780125321112 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754352 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152913698750464 |
|---|---|
| any_adam_object | |
| author | Perrin, Dominique |
| author_facet | Perrin, Dominique |
| author_role | aut |
| author_sort | Perrin, Dominique |
| author_variant | d p dp |
| building | Verbundindex |
| bvnumber | BV042317362 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162682102 (OCoLC)162682102 (DE-599)BVBBV042317362 |
| dewey-full | 512.2 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512.2 |
| dewey-search | 512.2 |
| dewey-sort | 3512.2 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02957nmm a2200661zcb4500</leader><controlfield tag="001">BV042317362</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780125321112</subfield><subfield code="9">978-0-12-532111-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0125321112</subfield><subfield code="9">0-12-532111-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080525648</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-052564-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080525644</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-052564-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162682102</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162682102</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317362</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.2</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Perrin, Dominique</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Infinite words</subfield><subfield code="b">automata, semigroups, logic and games</subfield><subfield code="c">Dominique Perrin and Jean-Éric Pin</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 538 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">Pure and applied mathematics (Academic Press)</subfield><subfield code="v">141</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Academic Press."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Bochi, McNaughton and Schätzenberger. Serves as both an introduction to the field and as a reference book. Contains numerous exercises desgined to aid students and readers. Self-contained chapters provide helpful guidance for lectures</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [499]-521)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Groupes, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Speltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Groepentheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Topologie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Group Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Group theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machine theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Group theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pin, Jean Eric</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780125321112</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754352</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></record></collection> |
| id | DE-604.BV042317362 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780125321112 0125321112 9780080525648 0080525644 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754352 |
| oclc_num | 162682102 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xi, 538 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Pure and applied mathematics (Academic Press) |
| spelling | Perrin, Dominique Verfasser aut Infinite words automata, semigroups, logic and games Dominique Perrin and Jean-Éric Pin 1st ed Amsterdam Elsevier 2004 1 Online-Ressource (xi, 538 p.) txt rdacontent c rdamedia cr rdacarrier Pure and applied mathematics (Academic Press) 141 "Academic Press." Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic. Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Bochi, McNaughton and Schätzenberger. Serves as both an introduction to the field and as a reference book. Contains numerous exercises desgined to aid students and readers. Self-contained chapters provide helpful guidance for lectures Includes bibliographical references (p. [499]-521) Automates mathématiques, Théorie des Groupes, Théorie des Automatentheorie gtt Speltheorie gtt Logica gtt Groepentheorie gtt Topologie gtt MATHEMATICS / Group Theory bisacsh Group theory fast Machine theory fast Logik Machine theory Group theory Automatentheorie (DE-588)4003953-5 gnd rswk-swf Gruppentheorie (DE-588)4072157-7 gnd rswk-swf Automatentheorie (DE-588)4003953-5 s Gruppentheorie (DE-588)4072157-7 s 1\p DE-604 Pin, Jean Eric Sonstige oth http://www.sciencedirect.com/science/book/9780125321112 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Perrin, Dominique Infinite words automata, semigroups, logic and games Automates mathématiques, Théorie des Groupes, Théorie des Automatentheorie gtt Speltheorie gtt Logica gtt Groepentheorie gtt Topologie gtt MATHEMATICS / Group Theory bisacsh Group theory fast Machine theory fast Logik Machine theory Group theory Automatentheorie (DE-588)4003953-5 gnd Gruppentheorie (DE-588)4072157-7 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4072157-7 |
| title | Infinite words automata, semigroups, logic and games |
| title_auth | Infinite words automata, semigroups, logic and games |
| title_exact_search | Infinite words automata, semigroups, logic and games |
| title_full | Infinite words automata, semigroups, logic and games Dominique Perrin and Jean-Éric Pin |
| title_fullStr | Infinite words automata, semigroups, logic and games Dominique Perrin and Jean-Éric Pin |
| title_full_unstemmed | Infinite words automata, semigroups, logic and games Dominique Perrin and Jean-Éric Pin |
| title_short | Infinite words |
| title_sort | infinite words automata semigroups logic and games |
| title_sub | automata, semigroups, logic and games |
| topic | Automates mathématiques, Théorie des Groupes, Théorie des Automatentheorie gtt Speltheorie gtt Logica gtt Groepentheorie gtt Topologie gtt MATHEMATICS / Group Theory bisacsh Group theory fast Machine theory fast Logik Machine theory Group theory Automatentheorie (DE-588)4003953-5 gnd Gruppentheorie (DE-588)4072157-7 gnd |
| topic_facet | Automates mathématiques, Théorie des Groupes, Théorie des Automatentheorie Speltheorie Logica Groepentheorie Topologie MATHEMATICS / Group Theory Group theory Machine theory Logik Gruppentheorie |
| url | http://www.sciencedirect.com/science/book/9780125321112 |
| work_keys_str_mv | AT perrindominique infinitewordsautomatasemigroupslogicandgames AT pinjeaneric infinitewordsautomatasemigroupslogicandgames |