Kleene Algebra with Equations
MetadataShow full item record
Kozen, Dexter; Mamouras, Konstantinos
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.
Kleene algebra; Kleeene algebra with tests; rewrite systems