Higher-order pushdown systems with data

MaRDI QIDQ4986516zbMATHFDO

Authors Paweł Parys

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1210.2460

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Collapse operation increases expressive power of deterministic higher order pushdown automata
• On the significance of the collapse operation
• Unboundedness and downward closures of higher-order pushdown automata
• scientific article; zbMATH DE number 2087432
• Mathematical Foundations of Computer Science 2005

Cited in

(4)

• scientific article; zbMATH DE number 7243673 (Why is no real title available?)
• Unboundedness and downward closures of higher-order pushdown automata
• Collapse operation increases expressive power of deterministic higher order pushdown automata
• Regular and context-free nominal traces

This page was built for publication: Higher-order pushdown systems with data

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