Left-handed completeness

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

DOI:

10.1007/978-3-642-33314-9

PreviewAttachmentSize
left.pdf222.18 KB