Tree automata and automata on linear orderings

Bruyère, Véronique; Carton, Olivier; Sénizergues, Géraud

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 43 (2009) p. 321-338

On the continuity set of an Omega rational function

Carton, Olivier; Finkel, Olivier; Simonnet, Pierre

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 42 (2008) p. 183-196