×
德克斯特·科赞

关于霍尔逻辑和克莱恩代数的测试。 （英语） Zbl 1365.68326号

ACM事务处理。计算。日志。 第1期，第60-76页（2000年）.

引用于1审查
引用于44文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

霍尔逻辑;克莱尼代数;带测试的Kleene代数;动态逻辑;规范
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}，ACM翻译。计算。日志。1，第1号，60--76（2000；Zbl 1365.68326）
全文： 内政部