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

Dexter Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands. pages 214-225, IEEE Computer Society, 1991.

Authors

Dexter Kozen

This author has not been identified. Look up 'Dexter Kozen' in Google