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 条
  • [1] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
    HERMANN, M
    KIRCHNER, C
    KIRCHNER, H
    COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
  • [2] Sharing Implementations of Graph Rewriting Systems
    Guerrini, Stefano
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (05) : 113 - 132
  • [3] Natural rewriting for general term rewriting systems
    Escobar, S
    Meseguer, J
    Thati, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 101 - 116
  • [4] Minimal term rewriting systems
    Kamperman, JFT
    Walters, HR
    RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 274 - 290
  • [5] Minimal term rewriting systems
    Lect Notes Comput Sci, (274):
  • [6] ORDERINGS FOR TERM-REWRITING SYSTEMS
    DERSHOWITZ, N
    THEORETICAL COMPUTER SCIENCE, 1982, 17 (03) : 279 - 301
  • [7] A PVS Theory for Term Rewriting Systems
    Galdino, Andre L.
    Ayala-Rincon, Mauricio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 247 : 67 - 83
  • [8] TERM REWRITING-SYSTEMS AND ALGEBRA
    LESCANNE, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
  • [9] EXTENDED TERM REWRITING-SYSTEMS
    KLOP, JW
    DEVRIJER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
  • [10] TERM REWRITING-SYSTEMS WITH PRIORITIES
    BAETEN, JCM
    BERGSTRA, JA
    KLOP, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
12345