Infinite Trees and Automaton Definable Relations over Omega-Words.

Wolfgang Thomas

Browse the full STACS paper archive.