A NOTE ON REGULAR RESOLUTION

被引：2

作者：

JUSTEN, K

机构：

来源：

COMPUTING | 1981年 / 26卷 / 01期

关键词：

D O I：

10.1007/BF02243428

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：87 / 89

页数：3

相关论文

共 3 条

[1]

Galil Z., 1977, Theoretical Computer Science, V4, P23, DOI 10.1016/0304-3975(77)90054-8

[2]

JUSTEN K, 1978, THESIS RWTH AACHEN

[3]

Tseitin G., 1968, STUDIES CONSTRUCTI 2, P115