ARCHITECTURE FOR CONDITIONAL TERM REWRITING

被引：0
作者：
RUSH, T
COLEMAN, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 308卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：266 / 278
页数：13
相关论文
共 50 条
[21]   CONDITIONAL REWRITING IN FOCUS [J].
BRONSARD, F ;
REDDY, US .
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 :2-13
[22]   Characterizing and proving operational termination of deterministic conditional term rewriting systems [J].
Schernhammer, Felix ;
Gramlich, Bernhard .
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07) :659-688
[23]   Dependency pairs for proving termination properties of conditional term rewriting systems [J].
Lucas, Salvador ;
Meseguer, Jose .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 86 (01) :236-268
[24]   Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems [J].
Kirkeby, Maja H. ;
Gluck, Robert .
PROCEEDINGS OF THE 22ND INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2020, 2020,
[25]   SIMPLIFYING CONDITIONAL TERM REWRITING-SYSTEMS - UNIFICATION, TERMINATION AND CONFLUENCE [J].
KAPLAN, S .
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (03) :295-334
[26]   Modular properties of constructor-sharing conditional term rewriting systems [J].
Ohlebusch, E .
CONDITIONAL AND TYPED REWRITING SYSTEMS, 1995, 968 :296-315
[27]   An efficient implementation of Term Rewriting System on a distributed memory architecture [J].
Hachisu, Y ;
Yamamoto, S ;
Hamaguchi, T ;
Agusa, K .
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (04) :510-517
[28]   Efficient implementation of term rewriting system on a distributed memory architecture [J].
Hachisu, Yoshinari ;
Yamamoto, Shinichirou ;
Hamaguchi, Takeshi ;
Agusa, Kiyoshi .
1997, Inst of Electronics, Inf & Commun Engineers of Japan, Tokyo, Japan (E80-D)
[29]   POSITIVE NEGATIVE CONDITIONAL REWRITING [J].
KAPLAN, S .
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 :129-143
[30]   From conditional to unconditional rewriting [J].
Rosu, G .
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2005, 3423 :218-233
12345