Automata on Infinite Words 1984: Le Mont Dore, France

The Theory of Büchi and McNaughton

Logic and Automata

Automata on infinite trees

Topological aspects of automata on infinite words

Iterated morphisms and infinite words

a service of Schloss Dagstuhl - Leibniz Center for Informatics