Term-rewriting systems with rule priorities

被引：0
|
作者：
机构：
[1] Baeten, J.C.M.
[2] Bergstra, J.A.
[3] Klop, J.W.
[4] Weijland, W.P.
来源：
Baeten, J.C.M. | 1600年 / 67期
关键词：
Computer Metatheory;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2 / 3
相关论文
共 50 条
  • [31] Natural rewriting for general term rewriting systems
    Escobar, S
    Meseguer, J
    Thati, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 101 - 116
  • [32] Minimal term rewriting systems
    Kamperman, JFT
    Walters, HR
    RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 274 - 290
  • [33] Implementations of term rewriting systems
    Hermann, M.
    Kirchner, C.
    Kirchner, H.
    Computer Journal, 1991, 34 (01): : 20 - 33
  • [34] Minimal term rewriting systems
    Lect Notes Comput Sci, (274):
  • [35] A PVS Theory for Term Rewriting Systems
    Galdino, Andre L.
    Ayala-Rincon, Mauricio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 247 : 67 - 83
  • [36] TERM REWRITING-SYSTEMS AND ALGEBRA
    LESCANNE, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
  • [37] EXTENDED TERM REWRITING-SYSTEMS
    KLOP, JW
    DEVRIJER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
  • [38] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
    HERMANN, M
    KIRCHNER, C
    KIRCHNER, H
    COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
  • [39] Decidable approximations of term rewriting systems
    Jacquemard, F
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 362 - 376
  • [40] Determinization of conditional term rewriting systems
    Nagashima, Masanori
    Sakai, Masahiko
    Sakabe, Toshiki
    THEORETICAL COMPUTER SCIENCE, 2012, 464 : 72 - 89
12345