Kleene algebra

Last updated Aug 28, 2024

References.

• On Kleene Algebras and Closed Semirings (Kozen, 1990)
• A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (Kozen)