节点文献

ACUN理论一般合一化问题的合一化算法

A Unification Algorithm for the General Unification Problem in the ACUN Theory

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 LI Meng-jun1,WANG Zhen-zhen2,LI Zhou-jun1,Chen Huo-wang1 (1.School of Computer Science, National University of Defense Technology,Changsha 410073; 2.School of Information System and Management, National University of Defense Technology,Changsha 410073,China)

【机构】国防科技大学计算机学院；国防科技大学信息系统与管理学院；国防科技大学计算机学院湖南长沙410073；湖南长沙410073；

【摘要】 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 unification problem of the ACUN theory.更多还原

【关键词】 ACUN理论；一般合一化问题；合一化算法；
【Key words】 ACUN theory； the general unification problem； unification algorithm；

【基金】国家自然科学基金资助项目(90104026,60073001,60473057);国家863计划资助项目(2002AA144040)

【文献出处】计算机工程与科学 ,Computer Engineering & Science , 编辑部邮箱 ,2006年05期

【分类号】TP18
【被引频次】1
【下载频次】26

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献