REWRITE METHOD FOR THEOREM-PROVING IN 1ST ORDER THEORY WITH EQUALITY

被引：16

作者：

HSIANG, J

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(87)80024-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：133 / 151

页数：19

共 30 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2]

BERGSTRA JA, 1982, IW19882 SMC

[3]

Brand D., 1975, SIAM Journal on Computing, V4, P412, DOI 10.1137/0204036

[4]

BRAND D, 1978, 4TH P C AUT DED, P36

[5]

DERSHOWITZ N, 1983, P SEMINAIRE INFORMAT

[6]

DURAND J, 1984, THESIS U NANCY NANCY

[7]

FAGES F, 1983, THESIS INRIA FRANCE

[8] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS [J].

HSIANG, J .

[9]

HSIANG J, 1985, 1ST P INT C REWR TEC

[10]

HSIANG J, 1986, SPRINGERVERLAG LNCS, V230, P141