FO Model Checking on Nested Pushdown Trees

DOI10.1007/978-3-642-03816-7_39zbMath1250.68191OpenAlexW1533900392MaRDI QIDQ3182946

Alexander Kartzow

Publication date: 16 October 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-03816-7_39

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• On the structure of graphs in the Caucal hierarchy
• Alternation
• Collapsible Pushdown Automata and Recursion Schemes
• Languages of Nested Trees

This page was built for publication: FO Model Checking on Nested Pushdown Trees