Automata on infinite trees with counting constraints

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 (2)

Randomization in Automata on Infinite Trees ⋮ Counting branches in trees using games

This page was built for publication: Automata on infinite trees with counting constraints