德克斯特·科赞;弗雷德里克·史密斯 带测试的克莱恩代数：完整性和可判定性。 （英语） Zbl 0882.03064号 Dalen，Dirk van（编辑）等人，《计算机科学逻辑》。第十届国际研讨会，CSL’96。EACSL年会，荷兰乌得勒支。1996年9月21日至27日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1258, 244-259 (1997). 摘要：带有测试的Kleene代数为等式规范和验证提供了一个严格的框架。它们已成功用于基本安全分析、源到源程序转换和并发控制。我们用测试证明了Kleene代数方程理论的完备性，用语言理论模型和关系模型的测试证明了*-连续Kleene-代数方程理论。我们也显示了可判定性。将Cohen将带有形式为（r=0）的假设的Kleene代数简化为不带假设的Klene代数，并将其推广到处理带有测试的Kleene代数。有关整个系列，请参见[Zbl 0868.00033号]. 引用于1审查引用于73文件 MSC公司： 03G25号 与逻辑相关的其他代数 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 关键词：带测试的Kleene代数;方程规范与验证;完整性;等式理论;*-连续Kleene代数;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}和\textit{F.Smith}，莱克特。注释计算。科学。1258244-259（1997；Zbl 0882.03064）