A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

• 1 May 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 110  (2) , 366-390
• https://doi.org/10.1006/inco.1994.1037

Abstract

Keywords

• COMPLETENESS THEOREM
• ALGEBRA
• SALOMAA
• SOUND
• GIVE
• FINITARY
• EQUATIONS
• THEOREM FOR KLEENE