FAST DECISION PROCEDURES BASED ON CONGRUENCE CLOSURE

被引：255

作者：

NELSON, G

OPPEN, DC

机构：

来源：

关键词：

D O I：

10.1145/322186.322198

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：356 / 364

页数：9

共 9 条

[1]

Ackermann W., 1954, SOLVABLE CASES DECIS

[2]

Aho A. V., 1974, DESIGN ANAL COMPUTER

[3]

DOWNEY P, UNPUBLISHED

[4]

KOZEN DC, 1977, 9TH P ANN ACM S THEO, P164

[5]

NELSON CA, UNPUBLISHED

[6]

NELSON CG, 1977, 18TH P ANN S F COMPT

[7]

OPPEN DC, 1978, 5TH P S PRINC PROGR, P151

[8] ALGORITHM FOR REASONING ABOUT EQUALITY [J].

SHOSTAK, RE .

[9] EFFICIENCY OF A GOOD BUT NOT LINEAR SET UNION ALGORITHM [J].

TARJAN, RE .