A COMPLETE PROOF OF CORRECTNESS OF THE KNUTH-BENDIX COMPLETION ALGORITHM

被引：111

作者：

HUET, G

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(81)90002-7

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：11 / 21

页数：11

共 11 条

[1]

BALLANTYNE AM, 1979, MTP4 LOUIS TECH U DE

[2]

Huet G., 1980, 21st Annual Symposium on Foundations of Computer Science, P96, DOI 10.1109/SFCS.1980.37

HUET, G .

[4]

HUET G, UNPUBLISHED

[5]

HULLOT JM, 1980, SRI CSL113 INT TECHN

[6]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263

[7]

LANKFORD D, 1977, ATP37 U TEX AUST DEP

[8]

LANKFORD DS, 1977, ATP39 U TEX AUST DEP

[9] COMPLETE-SETS OF REDUCTIONS FOR SOME EQUATIONAL THEORIES [J].

PETERSON, GE ;

STICKEL, ME .

[10]

[No title captured]