RENAMING A SET OF CLAUSES AS A HORN SET

被引：77

作者：

LEWIS, HR

机构：

来源：

JOURNAL OF THE ACM | 1978年 / 25卷 / 01期

关键词：

D O I：

10.1145/322047.322059

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：134 / 135

页数：2

相关论文

共 2 条

[1]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[2] UNIT REFUTATIONS AND HORN SETS [J].

HENSCHEN, L ;

WOS, L .

JOURNAL OF THE ACM, 1974, 21 (04) :590-605