- Citation:
- Kozen D, Silva A.
2012. Left-handed completeness. 13th International Conference on Relational and Algebraic Methods in Computer Science. 7560:162–178.
Tertiary Title:
Lecture Notes in Computer Science
Date Presented:
September
Abstract:
We give a new, significantly shorter proof of the completeness of the left-handed star rule of Kleene algebra. The proof reveals the rich interaction of algebra and coalgebra in the theory.
Citation Key:
KS12