Basics on Tree Automata

DOI10.1142/9789814271059_0003zbMath1256.68103OpenAlexW2399991372MaRDI QIDQ4907855

Christof Löding

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814271059_0003

zbMATH Keywords

monadic second-order logichedge automatafinite tree automataranked tree automata

Mathematics Subject Classification ID

Trees (05C05) Formal languages and automata (68Q45)

Related Items (3)

Emptiness problems for distributed automata ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games

This page was built for publication: Basics on Tree Automata