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 条

[41] MODULAR TERM REWRITING-SYSTEMS AND THE TERMINATION
KURIHARA, M
KAJI, I
INFORMATION PROCESSING LETTERS, 1990, 34 (01) : 1 - 4
[42] ON THE DESCRIPTIVE POWER OF TERM REWRITING-SYSTEMS
AVENHAUS, J
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (02) : 109 - 122
[43] Term-rewriting systems with rule priorities
Baeten, J.C.M., 1600, (67): : 2 - 3
[44] Modular properties of composable term rewriting systems
Ohlebusch, E
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 20 (01) : 1 - 41
[45] TERM-REWRITING SYSTEMS WITH RULE PRIORITIES
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
WEIJLAND, WP
THEORETICAL COMPUTER SCIENCE, 1989, 67 (2-3) : 283 - 301
[46] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
DURAND, I
SALINIER, B
INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137
[47] Reachability analysis over term rewriting systems
Feuillade, G
Genet, T
Tong, VVT
JOURNAL OF AUTOMATED REASONING, 2004, 33 (3-4) : 341 - 383
[48] Interaction nets and term-rewriting systems
Fernandez, M
Mackie, I
THEORETICAL COMPUTER SCIENCE, 1998, 190 (01) : 3 - 39
[49] Natural narrowing for general term rewriting systems
Escobar, S
Meseguer, J
Thati, P
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 279 - 293
[50] Automating confluence check of term rewriting systems
RIEC, Tohoku University, Japan
Comput. Softw., 2009, 2 (76-92):

← 1 2 3 4 5 →