The following pages link to KAT-ML (Q20515):
Displaying 9 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Q3007567) (← links)
- Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL (Q5327345) (← links)