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 条

[11] Decidable approximations of term rewriting systems
Jacquemard, F
REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 362 - 376
[12] Determinization of conditional term rewriting systems
Nagashima, Masanori
Sakai, Masahiko
Sakabe, Toshiki
THEORETICAL COMPUTER SCIENCE, 2012, 464 : 72 - 89
[13] A compiler for nondeterministic term rewriting systems
Vittek, M
REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 154 - 168
[14] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
[15] Term rewriting systems with sort priorities
Shao, ZQ
Song, GX
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 56 (3-4) : 151 - 159
[16] Rewriting Induction for Higher-Order Constrained Term Rewriting Systems
Hagens, Kasper
Kop, Cynthia
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 202 - 219
[17] On some slowly terminating term rewriting systems
Beklemishev, L. D.
Onoprienko, A. A.
SBORNIK MATHEMATICS, 2015, 206 (09) : 1173 - 1190
[18] Well limit behaviors of term rewriting systems
Ma S.
Sui Y.
Xu K.
Frontiers of Computer Science in China, 2007, 1 (03): : 283 - 296
[19] On term rewriting systems having a rational derivation
Meyer, A
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, 2987 : 378 - 392
[20] Hardware synthesis from term rewriting systems
Hoe, JC
Arvind
VLSI: SYSTEMS ON A CHIP, 2000, 34 : 595 - 619