Kozen, D;
Silva, A;
(2020)
Left-handed completeness.
Theoretical Computer Science
, 807
pp. 220-233.
10.1016/j.tcs.2019.10.040.
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 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
54Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
