Left-handed completeness

被引：6
|
作者：
Kozen, Dexter [1 ]
Silva, Alexandra [2 ]
机构：
[1] Cornell Univ, Comp Sci Dept, Ithaca, NY 14853 USA
[2] UCL, Dept Comp Sci, Gower St, London WC1E 6BT, England
来源：
THEORETICAL COMPUTER SCIENCE | 2020年 / 807卷
关键词：
Nivat; Kleene algebra; Completeness; AUTOMATA; SYSTEMS; ALGEBRA;
D O I：
10.1016/j.tcs.2019.10.040
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. (C) 2019 Elsevier B.V. All rights reserved.
引用
收藏
页码：220 / 233
页数：14
相关论文
共 50 条
  • [1] Left-handed
    Frankel, Alex M.
    ANTIOCH REVIEW, 2013, 71 (01): : 194 - 194
  • [2] Left-Handed
    Muratori, Fred
    LIBRARY JOURNAL, 2012, 137 (06) : 80 - 81
  • [3] Scattering by a left-handed particle on a left-handed slab or surface
    French, O. E.
    Hopcraft, K. I.
    Jakeman, E.
    NEW JOURNAL OF PHYSICS, 2007, 9
  • [4] THE LEFT-HANDED DOLLAR
    Stasio, Marilyn
    NEW YORK TIMES BOOK REVIEW, 2010, : 30 - 30
  • [5] LEFT-HANDED PAINTERS
    LANTHONY, P
    REVUE NEUROLOGIQUE, 1995, 151 (03) : 165 - 170
  • [6] LEFT-HANDED HANDWRITING
    RAMOS, R
    ACADEMIC THERAPY, 1968, 4 (01): : 47 - 48
  • [7] LEFT-HANDED PIPERS
    ROSE, GE
    BRITISH MEDICAL JOURNAL, 1977, 2 (6095): : 1157 - 1157
  • [8] 'Left-Handed Dreams'
    Bray, C
    NEW YORK TIMES BOOK REVIEW, 2001, : 18 - 18
  • [9] Was Einstein left-handed?
    Daffer, P
    Torbett, M
    AMERICAN JOURNAL OF PHYSICS, 1996, 64 (02) : 109 - 110
  • [10] LEFT-HANDED ALIENS
    Thilmany, Jean
    MECHANICAL ENGINEERING, 2009, 131 (07) : 12 - 12
12345