论带域 Kleene 代数的表达能力
计算机科学中的逻辑
2015-08-04 v2
摘要
本文证明了反域半环比测试半环更具表达能力，且带域 Kleene 代数比带测试 Kleene 代数更具表达能力。本文还证明了带域 Kleene 代数能够表达命题 Hoare 逻辑，而带测试 Kleene 代数则不能。
引用
@article{arxiv.1507.07246,
title = {On the Expressive Power of Kleene Algebra with Domain},
author = {Georg Struth},
journal= {arXiv preprint arXiv:1507.07246},
year = {2015}
}
备注
Typos have been corrected