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