The following pages link to Kleene algebra with domain (Q5277765):
Displaying 27 items.
- Concurrent Kleene Algebra (Q3184688) (← links)
- Partial Maps with Domain and Range: Extending Schein's Representation (Q3395624) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
- Determinisation of Relational Substitutions in Ordered Categories with Domain (Q3498418) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Algebraic properties of <tt>if-then-else</tt> and commutative three-valued tests (Q4968241) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Relations as Images (Q5283202) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)
- Domain Axioms for a Family of Near-Semirings (Q5505433) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712424) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712446) (← links)
- Kleene algebra of weighted programs with domain (Q6546613) (← links)
- Implicational Kleene algebra with domain and the substructural logic of partial correctness (Q6646014) (← links)
