Similar Items: Equivalence checking for weak bi-Kleene algebra
- 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
- Completeness Theorems for Kleene algebra with tests and top
- Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking