We give a new, significantly shorter proof of the completeness of the left-handed star rule of Kleene algebra. The proof exposes the rich interaction of algebra and coalgebra in the theory of Kleene algebra. © 2012 Springer-Verlag.
CITATION STYLE
Kozen, D., & Silva, A. (2012). Left-handed completeness. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7560 LNCS, pp. 162–178). https://doi.org/10.1007/978-3-642-33314-9_11
Mendeley helps you to discover research relevant for your work.