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 条
[41]   Exploring conditional rewriting logic computations [J].
Alpuente, M. ;
Ballis, D. ;
Frechina, F. ;
Sapina, J. .
JOURNAL OF SYMBOLIC COMPUTATION, 2015, 69 :3-39
[42]   NEGATION WITH LOGICAL VARIABLES IN CONDITIONAL REWRITING [J].
MOHAN, CK ;
SRIVAS, MK .
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 :292-310
[43]   TERM REWRITING [J].
THOMAS, M .
COMPUTER JOURNAL, 1991, 34 (01) :1-1
[44]   COMPILING CONDITIONAL REWRITING-SYSTEMS [J].
HEUILLARD, T .
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 :111-128
[45]   USE OF CONDITIONAL TERM REWRITING-SYSTEMS IN AUTOMATIC THEOREM-PROVING .1. [J].
VOROBYEV, SG .
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (01) :49-59
[46]   SOUNDNESS OF UNRAVELINGS FOR CONDITIONAL TERM REWRITING SYSTEMS VIA ULTRA-PROPERTIES RELATED TO LINEARITY [J].
Nishida, Naoki ;
Sakai, Masahiko ;
Sakabe, Toshiki .
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03) :5
[47]   Natural rewriting for general term rewriting systems [J].
Escobar, S ;
Meseguer, J ;
Thati, P .
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 :101-116
[48]   ON THE ADEQUACY OF GRAPH REWRITING FOR STIMULATING TERM REWRITING [J].
KENNAWAY, JR ;
KLOP, JW ;
SLEEP, MR ;
DEVRIES, FJ .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03) :493-523
[49]   A Rewriting Machine and Optimization of Strategies of Term Rewriting [J].
A. A. Letichevskii ;
V. V. Khomenko .
Cybernetics and Systems Analysis, 2002, 38 (5) :637-649
[50]   Normal forms and normal theories in conditional rewriting [J].
Lucas, Salvador ;
Meseguer, Jose .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) :67-97
12345