Automata on Infinite Words 1984: Le Mont Dore, France

Maurice Nivat, Dominique Perrin (Eds.): Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984. Lecture Notes in Computer Science 192 Springer 1985, ISBN 3-540-15641-0 BibTeX

@proceedings{DBLP:conf/litp/1984,
  editor    = {Maurice Nivat and
               Dominique Perrin},
  title     = {Automata on Infinite Words, Ecole de Printemps d'Informatique
               Th{\'e}orique, Le Mont Dore, May 14-18, 1984},
  booktitle = {Automata on Infinite Words},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {192},
  year      = {1985},
  isbn      = {3-540-15641-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

The Theory of Büchi and McNaughton

Dominique Perrin: An introduction to finite automata on infinite words. 2-17 BibTeX
André Arnold: Deterministic and non ambiguous rational omega-languages. 18-27 BibTeX
Danièle Beauquier: Ensembles reconnaissables de mots bi -infinis limite et déterminisme. 28-46 BibTeX
Jean-Pierre Pécuchet: Automates boustrophédon sur des mots infinis. 47-54 BibTeX

Logic and Automata

Jean-Eric Pin: Star free omega-languages and first order logic. 56-67 BibTeX
Philippe Darondeau, Laurent Kott: A formal proof system for infinitary rational expressions. 68-80 BibTeX
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki: Logical formulas and four subclasses of omega-regular languages. 81-88 BibTeX
M. W. Shields: Deterministic asynchronous automata. 89-98 BibTeX

Automata on infinite trees

David E. Muller, Paul E. Schupp: Alternating automata on infinite objects, determinacy and Rabin's theorem. 100-107 BibTeX
Jean-Pierre Braquelaire, Bruno Courcelle: The solution of two star height problems for regular trees. 108-117 BibTeX
Max Dauchet, Erick Timmerman: Decidability of yield's equality for infinite regular trees. 118-136 BibTeX

Topological aspects of automata on infinite words

François Blanchard, Georges Hansel: Languages and subshifts. 138-146 BibTeX
Tom Head: The adherences of languages as topological spaces. 147-163 BibTeX

Iterated morphisms and infinite words

G. Rauzy: Mots infinis en arithmétique. 165-171 BibTeX
Michel Leconte: K-th power free codes. 172-187 BibTeX
Jean-Jacques Pansiot: On various classes of infinite words obtained by iterated mappings. 188-197 BibTeX
Antonio Restivo, Sergio Salemi: Overlap-free words on two symbols. 198-206 BibTeX
Patrice Séébold: Overlap-free sequences. 207-215 BibTeX