Variétés d'automates descendants d'arbres infinis
automata recognizing infinite tree languages
scientific article; zbMATH DE number 3963217
scientific article