J4 ›› 2006, Vol. 28 ›› Issue (5): 61-65.
• 论文 • 上一篇 下一篇
李梦君[1] 王桢珍[2] 李舟军[1] 陈火旺[1]
出版日期:
发布日期:
Online:
Published:
摘要：
ACUN理论是异或算子代数性质的刻画.基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法
关键词: ACUN理论 一般合一化问题 合一化算法
Abstract:
The algebraic properties of the operator exclusive-or are characterized by the ACUN theory, Based on the optimized decomposition algorithm for the unification problem of the union of disjoint equational theories and the Gaussian elimination method, we present a unification algorithm for the general un ification problem of the ACUN theory.
Key words: ACUN theory, the general unification problem, unification algorithm
李梦君[1] 王桢珍[2] 李舟军[1] 陈火旺[1]. ACUN理论一般合一化问题的合一化算法[J]. J4, 2006, 28(5): 61-65.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2006/V28/I5/61
