DOI10.1006/inco.1995.1104zbMath0835.68081OpenAlexW2057967675MaRDI QIDQ1898484
Danièle Beauquier, Damian Niwinski
Publication date: 16 April 1996 Published in: Information and Computation (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1006/inco.1995.1104
zbMATH Keywords
Muller automatafinite automata on infinite trees
Mathematics Subject Classification ID
Formal languages and automata (68Q45)
Related Items