Similar Items: Modularizing the Elimination of r=0 in Kleene Algebra
- Deciding Kleene Algebras in Coq
- Algebraic coherent confluence and higher globular Kleene algebras
- On Tools for Completeness of Kleene Algebra with Hypotheses
- Equivalence checking for weak bi-Kleene algebra
- Completeness Theorems for Kleene algebra with tests and top
- Non-Deterministic Kleene Coalgebras