Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes

DOI10.1007/978-3-540-74456-6_4MaRDI QIDQ3525553zbMATH OpenOpenAlexFDO

Authors

Publication date 17 September 2008

Published in Mathematical Foundations of Computer Science 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74456-6_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 5825969
• Recursion schemes, collapsible pushdown automata and higher-order model checking
• Collapsible pushdown automata and recursion schemes
• On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
• scientific article; zbMATH DE number 2087432

Cited in

(2)

• The grammar of mammalian brain capacity
• scientific article; zbMATH DE number 929652 (Why is no real title available?)

This page was built for publication: Hierarchies of Infinite Structures Generated by Pushdown Automata and Recursion Schemes

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