The following pages link to Kleene under a modal demonic star (Q817579):
Displaying 9 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Algebraic separation logic (Q549676) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)