Pages that link to "Item:Q671651"
From MaRDI portal
The following pages link to Logical analysis of demonic nondeterministic programs (Q671651):
Displaying 13 items.
- Terms with unbounded demonic and angelic nondeterminacy (Q870280) (← links)
- An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic (Q910396) (← links)
- A nondeterministic program logic (Q1091387) (← links)
- Partiality and nondeterminacy in program proofs (Q1271855) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- The epistemology of nondeterminism (Q1799277) (← links)
- Nondeterminism and nondeterministic degree (Q2770669) (← links)
- A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS (Q3988838) (← links)
- Modal logics with relative accessibility relations (Q4632287) (← links)
- The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms (Q5046723) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- Reasoning on relations, modalities, and sets (Q6599612) (← links)