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

← 1 2 3 4 5 →