UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Left-handed completeness

Kozen, D; Silva, A; (2020) Left-handed completeness. Theoretical Computer Science , 807 pp. 220-233. 10.1016/j.tcs.2019.10.040. Green open access

[img]
Preview
Text
Left.pdf - Accepted version

Download (233kB) | Preview

Abstract

We give a new proof of the completeness of the left-handed star rule of Kleene algebra. The proof is significantly shorter than previous proofs and exposes the rich interaction of algebra and coalgebra in the theory of Kleene algebra.

Type: Article
Title: Left-handed completeness
Open access status: An open access version is available from UCL Discovery
DOI: 10.1016/j.tcs.2019.10.040
Publisher version: https://doi.org/10.1016/j.tcs.2019.10.040
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Nivat, Kleene algebra, Completeness
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10087659
Downloads since deposit
7Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item