Left-handed completeness.

Dexter Kozen,Alexandra Silva

RAMiCS'12: Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science（2020）

引用 20|浏览6

暂无评分

摘要

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.

查看译文

关键词

Nivat,Kleene algebra,Completeness

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要