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 条
  • [41] RULE-BASED SYNTHESIS USING ADTS AND TERM REWRITING
    FONIO, HR
    PAWLAK, A
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 81 - 84
  • [42] A compiler for nondeterministic term rewriting systems
    Vittek, M
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 154 - 168
  • [43] FAIRNESS IN TERM REWRITING-SYSTEMS
    PORAT, S
    FRANCEZ, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
  • [44] 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
  • [45] ANIGRAF - AN INTERACTIVE SYSTEM FOR THE ANIMATION OF GRAPH REWRITING-SYSTEMS WITH PRIORITIES
    BILLAUD, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 437 - 438
  • [46] Operational semantics of rewriting with priorities
    van de Pol, J
    THEORETICAL COMPUTER SCIENCE, 1998, 200 (1-2) : 289 - 312
  • [47] ONE-RULE TRACE-REWRITING SYSTEMS AND CONFLUENCE
    WRATHALL, C
    DIEKERT, V
    OTTO, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 511 - 521
  • [48] ON CONFLUENCE OF ONE-RULE TRACE-REWRITING SYSTEMS
    WRATHALL, C
    DIEKERT, V
    MATHEMATICAL SYSTEMS THEORY, 1995, 28 (04): : 341 - 361
  • [49] An ECA rule rewriting mechanism for peer data management systems
    Zhao, Dan
    Mylopoulos, John
    Kiringa, Iluju
    Kantere, Verena
    ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 3896 : 1069 - 1078
  • [50] Rewriting the Rule Book
    Pugalis, Lee
    LOCAL ECONOMY, 2009, 24 (6-7): : 597 - 603
12345