scientific article; zbMATH DE number 7359423
From MaRDI portal
Publication:4993359
DOI10.4230/LIPIcs.FSCD.2018.27zbMath1462.68025MaRDI QIDQ4993359
Publication date: 15 June 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The IO- and OI-hierarchies
- The IO and OI hierarchies revisited
- Simply typed fixpoint calculus and collapsible pushdown automata
- Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
- On the Significance of the Collapse Operation
- The Complexity of the Diagonal Problem for Recursion Schemes
- Indexed Grammars—An Extension of Context-Free Grammars
- MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
- The Safe Lambda Calculus
This page was built for publication: