Left-Handed Completeness

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.

DOI: 10.1007/978-3-642-33314-9_11

Extracted Key Phrases

Cite this paper

@inproceedings{Kozen2012LeftHandedC, title={Left-Handed Completeness}, author={Dexter Kozen and Alexandra Silva}, booktitle={RAMICS}, year={2012} }