Variants of Collapsible Pushdown Systems

DOI10.4230/LIPIcs.CSL.2012.500zbMath1252.68120OpenAlexW2293153760MaRDI QIDQ4649568

Paweł Parys

Publication date: 22 November 2012

Full work available at URL: http://frontiersinai.com/turingfiles/September/39.pdf

zbMATH Keywords

reachabilitydeterminizationinfinite hierarchyshrinking lemmacollapsible pushdown systems

Mathematics Subject Classification ID

Related Items (1)

The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic

This page was built for publication: Variants of Collapsible Pushdown Systems