Automata on Infinite Words

Keyphrases

Publications

volume 192, 1985

Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984 Automata on Infinite Words 192 (1985)

1984

François Blanchard, Georges Hansel
Languages and subshifts. Automata on Infinite Words (1984)
Philippe Darondeau, Laurent Kott
A formal proof system for infinitary rational expressions. Automata on Infinite Words (1984)
Jean-Eric Pin
Star free omega-languages and first order logic. Automata on Infinite Words (1984)
Dominique Perrin
An introduction to finite automata on infinite words. Automata on Infinite Words (1984)
David E. Muller, Paul E. Schupp
Alternating automata on infinite objects, determinacy and Rabin's theorem. Automata on Infinite Words (1984)
Tom Head
The adherences of languages as topological spaces. Automata on Infinite Words (1984)
Antonio Restivo, Sergio Salemi
Overlap-free words on two symbols. Automata on Infinite Words (1984)
Patrice Séébold
Overlap-free sequences. Automata on Infinite Words (1984)
Jean-Pierre Pécuchet
Automates boustrophédon sur des mots infinis. Automata on Infinite Words (1984)
Max Dauchet, Erick Timmerman
Decidability of yield's equality for infinite regular trees. Automata on Infinite Words (1984)
Jean-Pierre Braquelaire, Bruno Courcelle
The solution of two star height problems for regular trees. Automata on Infinite Words (1984)
Jean-Jacques Pansiot
On various classes of infinite words obtained by iterated mappings. Automata on Infinite Words (1984)
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki
Logical formulas and four subclasses of omega-regular languages. Automata on Infinite Words (1984)
M. W. Shields
Deterministic asynchronous automata. Automata on Infinite Words (1984)
André Arnold
Deterministic and non ambiguous rational omega-languages. Automata on Infinite Words (1984)
Danièle Beauquier
Ensembles reconnaissables de mots bi -infinis limite et déterminisme. Automata on Infinite Words (1984)
G. Rauzy
Mots infinis en arithmétique. Automata on Infinite Words (1984)
Michel Leconte
K-th power free codes. Automata on Infinite Words (1984)