德克斯特·科岑 Kleene代数和正则事件代数的完备性定理。 （英语） 兹比尔0806.68082 Inf.计算。 110，第2期，366-390（1994）. 摘要：我们给出了正则事件代数的有限公理化，它只涉及方程和方程含义。与Salomaa的公理化不同，这里给出的公理化法适用于Kleene代数的所有解释。 引用于4评论引用于191文件 MSC公司： 第68季度第70季度 语言代数理论与自动机 08A70号 泛代数在计算机科学中的应用 关键词：正则事件代数;有限公理化;Kleene代数 PDF格式BibTeX公司 XML格式引用 \textit｛D.Kozen｝，信息计算。110，第2号，366--390（1994；Zbl 0806.68082） 全文： 内政部 OA许可证