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 条
  • [21] Combining Clifford algebraic computing and term-rewriting for geometric theorem proving
    Fevre, Stephane
    Wang, Dongming
    Fundamenta Informaticae, 1999, 39 (1-2): : 85 - 104
  • [22] Intelligent network control using Object-Oriented Term-Rewriting
    Steele, A
    COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2001, : 29 - 32
  • [23] CLASS OF AMBIGUOUS LINEAR TERM-REWRITING SYSTEMS ON WHICH CALL-BY-NEED IS A NORMALIZING REDUCTION STRATEGY.
    Naoi, Tohru
    Yamashita, Masafumi
    Ibaraki, Toshihide
    Honda, Namio
    Systems and Computers in Japan, 1987, 18 (09) : 19 - 30
  • [24] Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
    Komondoor, Raghavan
    STATIC ANALYSIS, SAS 2013, 2013, 7935 : 259 - 282
  • [25] Agent-based and term-rewriting method for product upgradeable design
    Zhang, Bing
    Kimura, Fumihiko
    FOURTH INTERNATIONAL SYMPOSIUM ON ENVIRONMENTALLY CONSCIOUS DESIGN AND INVERSE MANUFACTURING, PROCEEDINGS, 2005, : 62 - 69
  • [26] PRIORITIES ON CONTEXT CONDITIONS IN REWRITING SYSTEMS
    ROZENBERG, G
    VONSOLMS, SH
    INFORMATION SCIENCES, 1978, 14 (01) : 15 - 50
  • [27] GRAPH REWRITING-SYSTEMS WITH PRIORITIES
    BILLAUD, M
    LAFON, P
    METIVIER, Y
    SOPENA, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 411 : 94 - 106
  • [28] Modular Term-Rewriting Framework for Artifact-Centric Business Process Modelling
    Zielinski, Bartosz
    MODEL AND DATA ENGINEERING (MEDI 2017), 2017, 10563 : 71 - 78
  • [29] COMPUTING WITH GRAPH REWRITING-SYSTEMS WITH PRIORITIES
    LITOVSKY, I
    METIVIER, Y
    THEORETICAL COMPUTER SCIENCE, 1993, 115 (02) : 191 - 224
  • [30] Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2
    Temel, Mertcan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (359): : 116 - 133
12345