The following pages link to Kleene under a modal demonic star (Q817579):
Displayed 7 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)
- Normal design algebra (Q844885) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)