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 条
[11]   Local confluence of conditional and generalized term rewriting systems [J].
Lucas, Salvador .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 136
[12]   MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS [J].
MIDDELDORP, A .
INFORMATION AND COMPUTATION, 1993, 104 (01) :110-158
[13]   A COMPILER FOR A CLASS OF CONDITIONAL TERM REWRITING-SYSTEMS [J].
GESER, A ;
HUSSMANN, H ;
MUCK, A .
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 :84-90
[14]   Term Orderings for Non-reachability of (Conditional) Rewriting [J].
Yamada, Akihisa .
AUTOMATED REASONING, IJCAR 2022, 2022, 13385 :248-267
[15]   ON THE EQUIVALENCE OF HIERARCHICAL AND NON-HIERARCHICAL REWRITING ON CONDITIONAL TERM REWRITING-SYSTEMS [J].
NAVARRO, M ;
OREJAS, F .
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 174 :74-85
[16]   Semi-inversion of Conditional Constructor Term Rewriting Systems [J].
Kirkeby, Maja Hanne ;
Gluck, Robert .
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2019, 2020, 12042 :243-259
[17]   Model checking statecharts based on conditional term rewriting systems [J].
Kwon, G .
IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, :1179-1185
[18]   CONFLUENCE OF THE DISJOINT UNION OF CONDITIONAL TERM REWRITING-SYSTEMS [J].
MIDDELDORP, A .
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 :295-306
[19]   Conditional linearization of non-duplicating term rewriting systems [J].
Toyama, Y ;
Oyamaguchi, M .
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (04) :439-447
[20]   Confluence of terminating membership-conditional term rewriting systems [J].
Yamada, Junnosuke .
Systems and Computers in Japan, 1993, 24 (12) :1-11
12345