Left-handed completeness

Kozen, D; Silva, A

Kozen, D (corresponding author), Cornell Univ, Comp Sci Dept, Ithaca, NY 14853 USA.; Silva, A (corresponding author), UCL, Dept Comp Sci, Gower St, London WC1E 6BT, England.

THEORETICAL COMPUTER SCIENCE, 2020; 807 (): 220

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 ex......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索