Pages that link to "Item:Q1784963"
From MaRDI portal
The following pages link to Multi-buffer simulations: decidability and complexity (Q1784963):
Displaying 4 items.
- Topological characterisation of multi-buffer simulation (Q1685786) (← links)
- Multi-buffer simulations for trace language inclusion (Q5015280) (← links)
- Forwards- and backwards-reachability for cooperating multi-pushdown systems (Q6546604) (← links)
- Backwards-reachability for cooperating multi-pushdown systems (Q6655673) (← links)