A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS

被引：0

|

作者：

KAPLAN, S

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 256卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：25 / 41

页数：17

相关论文

共 50 条

[31] SUFFICIENT COMPLETENESS, TERM REWRITING-SYSTEMS AND ANTIUNIFICATION
COMON, H
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 128 - 140
[32] TRANSFINITE REDUCTIONS IN ORTHOGONAL TERM REWRITING-SYSTEMS
KENNAWAY, R
KLOP, JW
SLEEP, R
DEVRIES, FJ
INFORMATION AND COMPUTATION, 1995, 119 (01) : 18 - 38
[33] DECIDABILITY OF CONFLUENCE FOR GROUND TERM REWRITING-SYSTEMS
DAUCHET, M
TISON, S
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 199 : 80 - 89
[34] COMPILATION OF GROUND TERM REWRITING-SYSTEMS AND APPLICATIONS
DAUCHET, M
DERUYVER, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 556 - 558
[35] A PARALLEL COMPLETION PROCEDURE FOR TERM REWRITING-SYSTEMS
YELICK, KA
GARLAND, SJ
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 109 - 123
[36] ALGEBRAIC SEMANTICS AND COMPLEXITY OF TERM REWRITING-SYSTEMS
NAOI, T
INAGAKI, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 311 - 325
[37] ON GROUND-CONFLUENCE OF TERM REWRITING-SYSTEMS
KAPUR, D
NARENDRAN, P
OTTO, F
INFORMATION AND COMPUTATION, 1990, 86 (01) : 14 - 31
[38] GRAPH-REDUCIBLE TERM REWRITING-SYSTEMS
PLUMP, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 622 - 636
[39] A compiler for nondeterministic term rewriting systems
Vittek, M
REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 154 - 168
[40] LINEARIZING TERM REWRITING-SYSTEMS USING TEST SETS
HOFBAUER, D
HUBER, M
JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (01) : 91 - 129

← 1 2 3 4 5 →