%0 Conference Paper
%B 13th International Conference on Relational and Algebraic Methods in Computer Science
%D 2012
%T Left-handed completeness
%A Dexter Kozen
%A Alexandra Silva
%C Cambridge, UK
%I Springer
%P 162–178
%S Lecture Notes in Computer Science
%V 7560
%X <p>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.</p>
%8 September
%> https://haslab.uminho.pt/sites/default/files/xana/files/left.pdf