Projection for Büchi tree automata with constraints between siblings

DOI10.1007/978-3-319-98654-8_39MaRDI QIDQ1622997zbMATH OpenOpenAlexFDO

Authors Patrick Landwehr, Christof Löding

Publication date 22 November 2018

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

zbMATH Keywords

constraints between siblingsinfinite treestree automata

Mathematics Subject Classification ID

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

Recommendations

• Projection for Büchi Tree Automata with Constraints between Siblings
• On nondeterministic unranked tree automata with sibling constraints
• A characterization of Büchi tree automata
• Automata on infinite trees with equality and disequality constraints between siblings
• Profile trees for Büchi word automata, with application to determinization
• Profile trees for Büchi word automata, with application to determinization
• scientific article; zbMATH DE number 1330134
• Bottom-Up Tree Automata with Term Constraints
• Recasting Constraint Automata into Büchi Automata
• Tree automata with height constraints between brothers

Cited in

(3)

• scientific article; zbMATH DE number 1330134 (Why is no real title available?)
• Automata on infinite trees with equality and disequality constraints between siblings
• 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

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