scientific article; zbMATH DE number 7561694
From MaRDI portal
Publication:5092412
DOI10.4230/LIPIcs.MFCS.2019.50MaRDI QIDQ5092412
Andrzej S. Murawski, Pierre Clairambault
Publication date: 21 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Second-order abstract categorial grammars as hyperedge replacement grammars
- On multiple context-free grammars
- Copying theorems
- Reversible, irreversible and optimal \(\lambda\)-machines
- Full abstraction for PCF
- MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies
- An Automata Characterisation for Multiple Context-Free Languages
- The Copying Power of Well-Nested Multiple Context-Free Grammars
- Types and higher-order recursion schemes for verification of higher-order programs
- Collapsible Pushdown Automata and Recursion Schemes
- Foundations of Software Science and Computational Structures
- Reachability analysis of pushdown automata: Application to model-checking
This page was built for publication:
