IT IS UNDECIDABLE WHETHER THE KNUTH-BENDIX COMPLETION PROCEDURE GENERATES A CROSSED PAIR

被引：0
|
作者：
NARENDRAN, P
STILLMAN, J
机构：
[1] GE, CORP RES & DEV, SCHENECTADY, NY 12345 USA
[2] SUNY ALBANY, ALBANY, NY 12222 USA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 349卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：348 / 359
页数：12
相关论文
共 28 条
123