Projection for Büchi tree automata with constraints between siblings

DOI10.1007/978-3-319-98654-8_39zbMath1458.68105OpenAlexW2887249332MaRDI QIDQ1622997

Christof Löding, Patrick Landwehr

Publication date: 22 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-98654-8_39

zbMATH Keywords

tree automatainfinite treesconstraints between siblings

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

Projection for Büchi Tree Automata with Constraints between Siblings

This page was built for publication: Projection for Büchi tree automata with constraints between siblings