Kleene Algebra with Equations
Kleene Algebra with Equations
复制标题
克林代数与方程
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Konstantinos Mamouras
中科院分区：
文献类型：
--
作者：
D. Kozen;Konstantinos Mamouras
我们确定了充分条件的Kleene代数系统与额外的方程的自由语言模型的建设。该结构适用于广泛的一类扩展KA，并提供了一个统一的方法来演绎完备性。
We identify sufficient conditions for the construction of free language models for systems of Kleene algebra with additional equations. The construction applies to a broad class of extensions of KA and provides a uniform approach to deductive completeness.
计算机科学逻辑
DOI：
10.1007/978-3-642-15205-4_34
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Nenov Y
通讯作者：
Nenov Y