ALGORITHM FOR REASONING ABOUT EQUALITY

被引：54

作者：

SHOSTAK, RE

机构：

来源：

关键词：

D O I：

10.1145/359545.359570

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：583 / 585

页数：3

相关论文

共 5 条

[1]

ACKERMANN W, 1954, SOLVABLE CASES DECIS, P102

[2]

Mendelson E., 1964, INTRO MATH LOGIC

[3]

OPPEN D, 1977, 8TH P S F COMP SCI P

[4]

Robinson G., 1969, MACH INTELL, V4, P135

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

TARJAN, RE .