Pages that link to "Item:Q5046723"
From MaRDI portal
The following pages link to The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms (Q5046723):
Displaying 10 items.
- Terms with unbounded demonic and angelic nondeterminacy (Q870280) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- While-programs with nondeterministic assignments and the logic ALNA (Q1082808) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Demonic semantics: using monotypes and residuals (Q1774651) (← links)
- How to generalise demonic composition (Q2227636) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- (Q4029613) (← links)
- (Q5287526) (← links)
- Ehresmann-Schein-Nambooripad theorems for classes of biunary semigroups (Q6145725) (← links)