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 条
12345