The following pages link to A nondeterministic program logic (Q1091387):
Displaying 11 items.
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Dynamic logic assigned to automata (Q682633) (← links)
- Bounded nondeterminism of logic programs (Q702093) (← links)
- While-programs with nondeterministic assignments and the logic ALNA (Q1082808) (← links)
- A simplified proof of \(DDL<DL\) (Q1117214) (← links)
- Determinism and non-determinism in PDL (Q1177157) (← links)
- Partiality and nondeterminacy in program proofs (Q1271855) (← links)
- The epistemology of nondeterminism (Q1799277) (← links)
- STRUCTURED NONSTANDARD DYNAMIC LOGIC (Q3345770) (← links)
- (Q4204136) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)