JavaScript is disabled for your browser. Some features of this site may not work without it.
Kleene Algebra with Equations

Author
Kozen, Dexter; Mamouras, Konstantinos
Abstract
We identify sufficient conditions for the construction of free language models for systems of Kleene algebra with additional equations. The construction applies to a broad class of extensions of KA and provides a uniform approach to deductive completeness and coalgebraic decision procedures.
Date Issued
2014-02-27Subject
Kleene algebra; Kleeene algebra with tests; rewrite systems
Type
technical report