KAT-ML
From MaRDI portal
Software:20515
No author found.
Related Items (9)
Canonical finite models of Kleene algebra with tests ⋮ Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL ⋮ Enabledness and termination in refinement algebra ⋮ Local variable scoping and Kleene algebra with tests ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL ⋮ A sketch of a dynamic epistemic semiring ⋮ Synchronous Kleene algebra ⋮ Deciding Kleene algebra terms equivalence in Coq
This page was built for software: KAT-ML
