A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
We give a finite axiomatization of the algebra of regular events involving only universal Horn formulas. Unlike Salomaa's axiomatizations, ours is sound for all interpretations over Kleene algebras.
computer science; technical report
Previously Published As