The following pages link to (Q3957927):
Displayed 7 items.
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- The unwind property for programs with bounded memory (Q1067771) (← links)
- A nondeterministic program logic (Q1091387) (← links)
- Some relationships between logics of programs and complexity theory (Q1106839) (← links)
- Role of determinism in query languages for data bases (Q1112628) (← links)
- A simplified proof of \(DDL<DL\) (Q1117214) (← links)