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

Dexter Kozen

Browse the full LICS paper archive.