Strictness of the Collapsible Pushdown Hierarchy
From MaRDI portal
Publication:2912755
DOI10.1007/978-3-642-32589-2_50zbMath1365.68307arXiv1201.3250OpenAlexW2117813968MaRDI QIDQ2912755
Alexander Kartzow, Paweł Parys
Publication date: 25 September 2012
Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1201.3250
Related Items (5)
On first-order logic and CPDA graphs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Complexity of the Diagonal Problem for Recursion Schemes
This page was built for publication: Strictness of the Collapsible Pushdown Hierarchy
