On the Significance of the Collapse Operation

DOI10.1109/LICS.2012.62zbMath1360.68569MaRDI QIDQ2986828

Paweł Parys

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

collapsehigher-order recursion schemeshigher-order pushdown systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic, Unnamed Item, A characterization of lambda-terms transforming numerals, On first-order logic and CPDA graphs, Unnamed Item, Unnamed Item, The IO and OI hierarchies revisited