ONLY PRIME SUPERPOSITIONS NEED BE CONSIDERED IN THE KNUTH-BENDIX COMPLETION PROCEDURE

被引：24
|
作者：
KAPUR, D
MUSSER, DR
NARENDRAN, P
机构：
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1988年 / 6卷 / 01期
关键词：
D O I：
10.1016/S0747-7171(88)80019-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：19 / 36
页数：18
相关论文
共 27 条
123