Implementations of term rewriting systems

被引：0

|

作者：

Hermann, M. ^{[1
]}

Kirchner, C. ^{[1
]}

Kirchner, H. ^{[1
]}

机构：

[1] CRIN and INRIA-Lorraine, Vandoeuvre-les-Nancy, France

来源：

Computer Journal | 1991年 / 34卷 / 01期

关键词：

183;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：20 / 33

相关论文

共 50 条

[21] Proving Confluence of Term Rewriting Systems Automatically
Aoto, Takahito
Yoshida, Junichi
Toyama, Yoshihito
REWRITING TECHNIQUES AND APPLICATIONS, 2009, 5595 : 93 - 102
[22] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[23] ALGORITHMIC COMPLEXITY OF TERM REWRITING-SYSTEMS
CHOPPY, C
KAPLAN, S
SORIA, M
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 256 - 273
[24] INDUCTIVE SYNTHESIS OF TERM REWRITING-SYSTEMS
BARZDINS, G
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 253 - 285
[25] Confluence of curried term-rewriting systems
Kahrs, S
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (06) : 601 - 623
[26] Derivation trees of ground term rewriting systems
Engelfriet, J
INFORMATION AND COMPUTATION, 1999, 152 (01) : 1 - 15
[27] A compact fixpoint semantics for term rewriting systems
Alpuente, M.
Comini, M.
Escobar, S.
Falaschi, M.
Iborra, J.
THEORETICAL COMPUTER SCIENCE, 2010, 411 (37) : 3348 - 3371
[28] COMPLEXITY ANALYSIS OF TERM-REWRITING SYSTEMS
CHOPPY, C
KAPLAN, S
SORIA, M
THEORETICAL COMPUTER SCIENCE, 1989, 67 (2-3) : 261 - 282
[29] Decomposable termination of composable term rewriting systems
Kurihara, Masahito, 1600, Inst of Electronics, Inf & Commun Engineers of Japan, Tokyo, Japan (E78-D):
[30] Shallow confluence of conditional term rewriting systems
Wirth, Claus-Peter
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 44 (01) : 60 - 98

← 1 2 3 4 5 →