https://www.sciweavers.org/read/kat-ml-an-interactive-theorem-prover-for-kleene-algebra-with-tests-264460
KAT-ML: an interactive theorem prover for Kleene algebra with tests - Sciweavers
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style...
kleene algebrakatmlinteractivetheorem
https://research.ou.nl/en/activities/completeness-and-the-finite-model-property-for-kleene-algebra-rec-3/
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered - Open Universiteit...
kleene algebraopen universiteitcompletenessfinitemodel
https://deepai.org/publication/guarded-kleene-algebra-with-tests-coequations-coinduction-and-completeness
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness | DeepAI
Feb 16, 2021 - 02/16/21 - Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT, as it allows for almost linear decidability of equivalen...
kleene algebratestscompletenessdeepai
https://msclogic.illc.uva.nl/theses/archive/publication/5436/Automata-Closure-Constructions-for-Kleene-Algebra-with-Hypotheses
Automata Closure Constructions for Kleene Algebra with Hypotheses | Master of Logic
kleene algebraautomataclosureconstructionshypotheses
https://ecommons.cornell.edu/entities/publication/44050506-8ba0-4337-bfe3-4e061704a0a2
Kleene Algebra with Equations
We identify sufficient conditions for the construction of free language models for systems of Kleene algebra with additional equations. The construction...
kleene algebraequations