AN INTRODUCTION TO KNUTH-BENDIX COMPLETION

被引：6

作者：

DICK, AJJ ^{[1
]}

机构：

[1] RUTHERFORD APPLETON LAB,DEPT INFORMAT,DIV SYST ENGN,DIDCOT OX14 4LZ,OXON,ENGLAND

来源：

COMPUTER JOURNAL | 1991年 / 34卷 / 01期

关键词：

D O I：

10.1093/comjnl/34.1.2

中图分类号：

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

学科分类号：

0812 ;

摘要：

An informal introduction is given to the underlying concepts of term rewriting. Topics covered are Knuth-Bendix completion, completion modulo equations, unfailing completion and theorem proving by completion.

引用

页码：2 / 15

页数：14

共 50 条

[21] IT IS UNDECIDABLE WHETHER THE KNUTH-BENDIX COMPLETION PROCEDURE GENERATES A CROSSED PAIR
NARENDRAN, P
STILLMAN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 348 - 359
[22] ABOUT THE REWRITING-SYSTEMS PRODUCED BY THE KNUTH-BENDIX COMPLETION ALGORITHM
METIVIER, Y
INFORMATION PROCESSING LETTERS, 1983, 16 (01) : 31 - 34
[23] REDUCING THE COMPLEXITY OF THE KNUTH-BENDIX COMPLETION ALGORITHM - A UNIFICATION OF DIFFERENT APPROACHES
WINKLER, F
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 378 - 389
[24] Faster Log Analysis and Integration of Security Incidents Using Knuth-Bendix Completion
Ando, Ruo
Miwa, Shinsuke
NEURAL INFORMATION PROCESSING, PT II, 2011, 7063 : 28 - 36
[25] Orienting equalities with the Knuth-Bendix order
Korovin, K
Voronkov, A
18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 75 - 84
[26] KNUTH-BENDIX COMPLETION OF HORN CLAUSE PROGRAMS FOR RESTRICTED LINEAR RESOLUTION AND PARAMODULATION
BERTLING, H
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 181 - 193
[27] Orienting rewrite rules with the Knuth-Bendix order
Korovin, K
Voronkov, A
INFORMATION AND COMPUTATION, 2003, 183 (02) : 165 - 186
[28] Knuth-Bendix for groups with infinitely many rules
Epstein, DBA
Sanders, PJ
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2000, 10 (05) : 539 - 589
[29] Derivational complexity of Knuth-Bendix orders revisited
Moser, Georg
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 75 - 89
[30] HOW TO CHOOSE THE WEIGHTS IN THE KNUTH-BENDIX ORDERING
MARTIN, U
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 42 - 53

← 1 2 3 4 5 →