The following pages link to (Q3975134):
Displayed 4 items.
- Complexity results for two-way and multi-pebble automata and their logics (Q1349896) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- Complexity results for multi-pebble automata and their logics (Q4632417) (← links)
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)