斯通-克莱恩 swMATH ID: 28599 软件作者： 沃尔特·古特曼 描述： Stone-Kleene关系代数。我们发展了Stone-Kleene关系代数，它用Kleene-星运算扩展Stone关系代数来描述加权图中的可达性。Kleene星的许多性质是作为一个更一般的迭代理论的特例出现的，该理论基于模拟公理扩展的Conway半环。这包括几个表示复杂程序转换的定理。我们正式证明了基于Conway自动机构造矩阵的Kleene星的正确性。我们证明了许多对加权图的推理有用的结果。 主页： https://www.isa-afp.org/entries/Stone_Kleene_Relation_Algebras.html 依赖项： 伊莎贝尔 相关软件： Nitpick公司;克莱纳代数;关系代数;存档正式证据;斯通代数;大锤;HOL公司;伊莎贝尔/HOL;重新查看;伊莎贝尔 引用于： 1文件 1位作者引用 1 沃尔特·古特曼 连载1篇 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 计算机科学（68至XX） 按年份列出的引文