A Saturation Method for Collapsible Pushdown Systems

DOI10.1007/978-3-642-31585-5_18zbMath1367.68163OpenAlexW2146549539MaRDI QIDQ3167009

Chris Broadbent, Matthew Hague, Olivier Serre, Arnaud Carayol

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Rewriting Higher-Order Stack Trees, Rewriting higher-order stack trees, Simply typed fixpoint calculus and collapsible pushdown automata, Krivine machines and higher-order schemes, On first-order logic and CPDA graphs, Unnamed Item, Unnamed Item, Domains for Higher-Order Games