KAT-ML
From MaRDI portal
Software:20515
swMATH8506MaRDI QIDQ20515FDOQ20515
Author name not available (Why is that?)
Cited In (9)
- A sketch of a dynamic epistemic semiring
- Canonical finite models of Kleene algebra with tests
- Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL
- Local variable scoping and Kleene algebra with tests
- Using probabilistic Kleene algebra pKA for protocol verification
- Synchronous Kleene algebra
- Enabledness and termination in refinement algebra
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Deciding Kleene algebra terms equivalence in Coq
This page was built for software: KAT-ML
