ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS

被引：0

|

作者：

TOYAMA, Y

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 220卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：44 / 61

页数：18

相关论文

共 50 条

[31] COMPILATION OF GROUND TERM REWRITING-SYSTEMS AND APPLICATIONS
DAUCHET, M
DERUYVER, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 556 - 558
[32] A PARALLEL COMPLETION PROCEDURE FOR TERM REWRITING-SYSTEMS
YELICK, KA
GARLAND, SJ
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 109 - 123
[33] GRAPH-REDUCIBLE TERM REWRITING-SYSTEMS
PLUMP, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 622 - 636
[34] ALGEBRAIC SEMANTICS AND COMPLEXITY OF TERM REWRITING-SYSTEMS
NAOI, T
INAGAKI, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 311 - 325
[35] ON GROUND-CONFLUENCE OF TERM REWRITING-SYSTEMS
KAPUR, D
NARENDRAN, P
OTTO, F
INFORMATION AND COMPUTATION, 1990, 86 (01) : 14 - 31
[36] LINEARIZING TERM REWRITING-SYSTEMS USING TEST SETS
HOFBAUER, D
HUBER, M
JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (01) : 91 - 129
[37] THUE SYSTEMS AS REWRITING-SYSTEMS
BOOK, RV
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) : 39 - 68
[38] A PATH ORDERING FOR PROVING TERMINATION OF TERM REWRITING-SYSTEMS
KAPUR, D
NARENDRAN, P
SIVAKUMAR, G
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 173 - 187
[39] THUE SYSTEMS AS REWRITING-SYSTEMS
BOOK, RV
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 63 - 94
[40] 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 →