×
朱尔斯·德沙奈斯;伯恩哈德·莫勒;乔治·斯特鲁斯

具有域的Kleene代数。 （英语） Zbl 1367.68205号

ACM事务处理。计算。日志。 7，第4期，798-833（2006）.

引用于73文件

MSC公司：

第68季度第70季度 语言代数理论与自动机
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

幂等半环;克莱尼代数;密码子;领域;等式推理;图像和预图像操作;程序开发和分析;状态转换系统
PDF格式BibTeX公司 XML格式引用
\textit{J.Desharnais}等人，《美国医学杂志》。计算。日志。7，第4号，798--833（2006；Zbl 1367.68205）
全文： 内政部 链接