Basics on tree automata

DOI10.1142/9789814271059_0003zbMATH Open1256.68103OpenAlexW2399991372MaRDI QIDQ4907855FDOQ4907855

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

Recommendations

• scientific article; zbMATH DE number 2150292
• Tree automata
• scientific article; zbMATH DE number 3945364
• scientific article
• Symbolic tree automata

zbMATH Keywords

monadic second-order logichedge automatafinite tree automataranked tree automata

Mathematics Subject Classification ID

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

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Tree automata and essential input variables
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Title not available (Why is that?)
• On a representation of tree automata
• Title not available (Why is that?)
• Emptiness problems for distributed automata
• Title not available (Why is that?)
• On context-free trees

This page was built for publication: Basics on tree automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907855)