THE KNUTH-BENDIX COMPLETION PROCEDURE AND THUE SYSTEMS

被引：32

|

作者：

KAPUR, D

NARENDRAN, P

机构：

来源：

SIAM JOURNAL ON COMPUTING | 1985年 / 14卷 / 04期

关键词：

D O I：

10.1137/0214073

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1052 / 1072

页数：21

相关论文

共 50 条

[1] AN INTRODUCTION TO KNUTH-BENDIX COMPLETION
DICK, AJJ
[J]. COMPUTER JOURNAL, 1991, 34 (01): : 2 - 15
[2] ON THE KNUTH-BENDIX COMPLETION FOR CONCURRENT PROCESSES
DIEKERT, V
[J]. THEORETICAL COMPUTER SCIENCE, 1989, 66 (02) : 117 - 136
[3] FAST KNUTH-BENDIX COMPLETION - SUMMARY
CHRISTIAN, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 551 - 555
[4] Knuth-Bendix completion as a data structure
Struth, Georg
[J]. RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 225 - 236
[5] Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Bancerek, Grzegorz
[J]. FORMALIZED MATHEMATICS, 2014, 22 (01): : 37 - 56
[6] ONLY PRIME SUPERPOSITIONS NEED BE CONSIDERED IN THE KNUTH-BENDIX COMPLETION PROCEDURE
KAPUR, D
MUSSER, DR
NARENDRAN, P
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1988, 6 (01) : 19 - 36
[7] COMPLETE EQUATIONAL UNIFICATION BASED ON AN EXTENSION OF THE KNUTH-BENDIX COMPLETION PROCEDURE
OHSUGA, A
SAKAI, K
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 572 : 197 - 209
[8] IT IS UNDECIDABLE WHETHER THE KNUTH-BENDIX COMPLETION PROCEDURE GENERATES A CROSSED PAIR
NARENDRAN, P
STILLMAN, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 348 - 359
[9] SIMULATING BUCHBERGER ALGORITHM BY KNUTH-BENDIX COMPLETION
BUNDGEN, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 386 - 397
[10] INDUCTIVE INFERENCE FOR SOLVING DIVERGENCE IN KNUTH-BENDIX COMPLETION
THOMAS, M
JANTKE, KP
[J]. ANALOGICAL AND INDUCTIVE INFERENCE /, 1989, 397 : 288 - 303

← 1 2 3 4 5 →