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 条
  • [31] Vicious Circles in Orthogonal Term Rewriting Systems
    Ketema, Jeroen
    Klop, Jan Willem
    van Oostrom, Vincent
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 124 (02) : 65 - 77
  • [32] ON THE MODULARITY OF TERMINATION OF TERM REWRITING-SYSTEMS
    OHLEBUSCH, E
    THEORETICAL COMPUTER SCIENCE, 1994, 136 (02) : 333 - 360
  • [33] Operational termination of conditional term rewriting systems
    Lucas, S
    Marché, C
    Meseguer, J
    INFORMATION PROCESSING LETTERS, 2005, 95 (04) : 446 - 453
  • [34] Partial inversion of constructor term rewriting systems
    Nishida, N
    Sakai, M
    Sakabe, T
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 264 - 278
  • [35] Reachability Analysis over Term Rewriting Systems
    Guillaume Feuillade
    Thomas Genet
    Valérie Viet Triem Tong
    Journal of Automated Reasoning, 2004, 33 : 341 - 383
  • [36] ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS
    TOYAMA, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 44 - 61
  • [37] Parallelization of Termination Checker of Term Rewriting Systems
    Ding, Rui
    Sato, Haruhiko
    Kurihara, Masahito
    INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, IMECS 2012, VOL I, 2012, : 757 - 762
  • [38] PROVING TERMINATION FOR TERM REWRITING-SYSTEMS
    WEIERMANN, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 419 - 428
  • [39] SEQUENTIALITY IN ORTHOGONAL TERM REWRITING-SYSTEMS
    KLOP, JW
    MIDDELDORP, A
    JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (02) : 161 - 195
  • [40] Modular Properties of Composable Term Rewriting Systems
    J Symb Comput, 1 (01):
12345