Infinite Words: Automata, Semigroups, Logic and Games

✍ Scribed by Dominique Perrin and Jean-Éric Pin (Eds.)

Publisher: Academic Press, Elsevier
Year: 2004
Leaves: 529
Series: Pure and Applied Mathematics 141
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Content:
Preface
Pages 1-3

I Automata and infinite words Original Research Article
Pages 5-73

II Automata and semigroups Original Research Article
Pages 75-131

III Automata and topology Original Research Article
Pages 133-185

IV Games and strategies Original Research Article
Pages 187-213

V Wagner hierarchy Original Research Article
Pages 215-264

VI Varieties Original Research Article
Pages 265-306

VII Local properties Original Research Article
Pages 307-326

VIII An excursion into logic Original Research Article
Pages 327-380

IX BI-infinite words Original Research Article
Pages 381-412

X Infinite trees Original Research Article
Pages 413-434

Annex A Finite semigroups
Pages 435-463

Annex B Varieties of finite semigroups
Pages 465-498

References
Pages 499-521

List of tables
Page 523

List of figures
Pages 525-529

Index
Pages 531-538

📜 SIMILAR VOLUMES

Infinite words: automata, semigroups, lo

📁 Infinite words: automata, semigroups, logic and games

✍ Perrin D., Pin J.-E. 📂 Library 📅 2004 🏛 AP 🌐 English

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 theor

Infinite words : automata, semigroups, l

📁 Infinite words : automata, semigroups, logic and games

✍ Dominique Perrin; Jean Eric Pin 📂 Library 📅 2004 🏛 Elsevier 🌐 English

Infinite words. Automata, Semigroups, Lo

📁 Infinite words. Automata, Semigroups, Logic and Games

✍ Dominique Perrin, Jean-Eric Pin 📂 Library 📅 2004 🏛 Elsevier 🌐 English

Infinite words: automata, semigroups, lo

📁 Infinite words: automata, semigroups, logic and games

✍ Dominique Perrin, Jean Eric Pin 📂 Library 📅 2004 🏛 Academic Press 🌐 English

Logic, Semigroups and Automata on Words

📁 Logic, Semigroups and Automata on Words

✍ Jean-Éric Pin 📂 Library 📅 2006 🌐 English

Automata Logics, and Infinite Games: A G

📁 Automata Logics, and Infinite Games: A Guide to Current Research

✍ Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.) 📂 Library 📅 2002 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocol