Branching Pushdown Tree Automata

DOI10.1007/11944836_36zbMATH Open1177.68135OpenAlexW2119112610MaRDI QIDQ5386002FDOQ5386002

Authors: Swarat Chaudhuri, Rajeev Alur 

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_36

Recommendations

• Tree pushdown automata
• scientific article; zbMATH DE number 4083011
• scientific article
• Tree automata
• Tree compression pushdown automaton
• Tree-stack automata
• scientific article
• Arbology: Trees and Pushdown Automata
• Arbology: trees and pushdown automata
• Bottom-up tree pushdown automata and rewrite systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (2)

• A NEW TYPE OF PUSHDOWN AUTOMATA ON INFINITE TREES
• Arbology: Trees and Pushdown Automata

This page was built for publication: Branching Pushdown Tree Automata

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