COMPLETE-SETS OF REDUCTIONS FOR SOME EQUATIONAL THEORIES

被引：236

作者：

PETERSON, GE ^{[1
]}

STICKEL, ME ^{[1
]}

机构：

[1] UNIV ARIZONA,TUCSON,AZ 85724

来源：

关键词：

D O I：

10.1145/322248.322251

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：233 / 264

页数：32

共 29 条

[1]

COHN PM, 1965, UNIVERSAL ALGEBRA

[2] PROVING TERMINATION WITH MULTI-SET ORDERINGS [J].

DERSHOWITZ, N ;

MANNA, Z .

[3]

EVANS T, 1951, P CAMB PHILOS SOC, V47, P637

[4] ABSTRACT CHURCH-ROSSER THEOREM .2. APPLICATIONS [J].

HINDLEY, R .

HUET, G .

[6]

HUET G, 1980, CSL11 SRI INT TECH R

[7]

HUET G, 1976, THESIS U PARIS 6

[8]

HUET G, 1975, CALCULUS COMPUTER SC, P192

[9]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263

[10]

LANKFORD D, 1979, PROVING TERM REWRITI