Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/23556
Title: Left-Handed Completeness
Authors: Kozen, Dexter
Silva, Alexandra
Keywords: Kleene algebra
Brzozowski derivative
completeness
Issue Date: 23-Aug-2011
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.
URI: http://hdl.handle.net/1813/23556
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
Left.pdfMain article198.93 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us