%0 Report
%D 2011
%T Left-handed completeness
%A Dexter Kozen
%A Alexandra Silva
%C Ithaca, NY
%I Cornell University
%P 1-18
%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 August
%> https://haslab.uminho.pt/sites/default/files/xana/files/left_1.pdf