Horn集上的有向调解法

被引：2

作者：

欧阳丹彤

刘叙华

机构：

[1] 吉林大学计算机科学系

[2] 吉林大学计算机科学系长春

[3] 长春

来源：

吉林大学自然科学学报 | 1992年 / 04期

关键词：

Horn集; 调解法; 完备性;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。

引用

收藏

页码：38 / 42

页数：5

相关论文

共 2 条

[1]

定理机器证明.[M].刘叙华;姜云飞编著.科学出版社.1987,

[2]

Horn equational theories and paramodulation.[J].Ulrich Furbach;Steffen H?lldobler;Joachim Schreiber.Journal of Automated Reasoning.1989, 3