The following pages link to (Q3953158):
Displaying 5 items.
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Complexity results for two-way and multi-pebble automata and their logics (Q1349896) (← links)
- The complexity of PDL with interleaving (Q1351943) (← links)
- Complexity results for multi-pebble automata and their logics (Q4632417) (← links)