BOOLEAN UNIFICATION - THE STORY SO FAR

被引：45

作者：

MARTIN, U ^{[1
]}

NIPKOW, T ^{[1
]}

机构：

[1] MIT,COMP SCI LAB,CAMBRIDGE,MA 02139

来源：

关键词：

D O I：

10.1016/S0747-7171(89)80013-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：275 / 293

页数：19

共 32 条

[1]

Boole G., 1847, MATH ANAL LOGIC

[2]

BOUDET A, 1988, 88 P LICS, P121

[3]

BOYER RS, 1972, MACH INTELL, P7

[4]

BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819

[5] EMBEDDING BOOLEAN EXPRESSIONS INTO LOGIC PROGRAMMING [J].

BUTTNER, W ;

SIMONIS, H .

[6]

BUTTNER W, 1988, P CADE9 LNCS, V310, P368

[7] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY [J].

DAVIS, M ;

PUTNAM, H .

[8]

Garey M. R., 1979, COMPUTERS INTRACTABI

[9]

HERBRAND J, 1971, J HERBRAND LOGICAL W, P44

[10]

HEROLD A, 1988, P CADE8 LNCS, V230, P450