Pages that link to "Item:Q5705907"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705907):
Displaying 7 items.
- On first-order logic and CPDA graphs (Q2254514) (← links)
- The IO and OI hierarchies revisited (Q2347807) (← links)
- MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies (Q2353402) (← links)
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable (Q2422040) (← links)
- Model-checking games for typed \(\lambda\)-calculi (Q2864164) (← links)
- Krivine Machines and Higher-Order Schemes (Q3012917) (← links)
- (Q5092412) (← links)