A COMPLETION PROCEDURE FOR HIERARCHICAL CONDITIONAL REWRITING-SYSTEMS

被引：0

|

作者：

BOUSDIRA, W

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 343卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

下载

收藏

页码：93 / 107

页数：15

相关论文

共 50 条

[1] A PARALLEL COMPLETION PROCEDURE FOR TERM REWRITING-SYSTEMS
YELICK, KA
GARLAND, SJ
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 109 - 123
[2] ON THE EQUIVALENCE OF HIERARCHICAL AND NON-HIERARCHICAL REWRITING ON CONDITIONAL TERM REWRITING-SYSTEMS
NAVARRO, M
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 174 : 74 - 85
[3] COMPILING CONDITIONAL REWRITING-SYSTEMS
HEUILLARD, T
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 111 - 128
[4] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[5] A LOGIC FOR CONDITIONAL TERM REWRITING-SYSTEMS
PLAISTED, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 212 - 227
[6] MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
INFORMATION AND COMPUTATION, 1993, 104 (01) : 110 - 158
[7] A COMPILER FOR A CLASS OF CONDITIONAL TERM REWRITING-SYSTEMS
GESER, A
HUSSMANN, H
MUCK, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 84 - 90
[8] INFINITE, CANONICAL STRING REWRITING-SYSTEMS GENERATED BY COMPLETION
SATTLERKLEIN, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 433 - 444
[9] COMTES - AN EXPERIMENTAL ENVIRONMENT FOR THE COMPLETION OF TERM REWRITING-SYSTEMS
AVENHAUS, J
MADLENER, K
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 542 - 547
[10] CONFLUENCE OF THE DISJOINT UNION OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 295 - 306

← 1 2 3 4 5 →