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 条

[1] Implementing conditional term rewriting by graph rewriting
Ohlebusch, E
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 262 (1-2) : 311 - 331
[2] COMPLEXITY OF CONDITIONAL TERM REWRITING
Kop, Cynthia
Middeldorp, Aart
Sternagel, Thomas
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (01)
[3] Determinization of conditional term rewriting systems
Nagashima, Masanori
Sakai, Masahiko
Sakabe, Toshiki
[J]. THEORETICAL COMPUTER SCIENCE, 2012, 464 : 72 - 89
[4] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[5] Operational termination of conditional term rewriting systems
Lucas, S
Marché, C
Meseguer, J
[J]. INFORMATION PROCESSING LETTERS, 2005, 95 (04) : 446 - 453
[6] Shallow confluence of conditional term rewriting systems
Wirth, Claus-Peter
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2009, 44 (01) : 60 - 98
[7] Affine geometry of collinearity and conditional term rewriting
Balbiani, P
delCerro, LF
[J]. TERM REWRITING, 1995, 909 : 196 - 213
[8] A reflective language based on conditional term rewriting
Numazawa, M
Kurihara, M
Ohuchi, A
[J]. DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 65 - 66
[9] A LOGIC FOR CONDITIONAL TERM REWRITING-SYSTEMS
PLAISTED, DA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 212 - 227
[10] Transformation for Refining Unraveled Conditional Term Rewriting Systems
Nishida, Naoki
Mizutani, Tomohiro
Sakai, Masahiko
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (10) : 75 - 95

← 1 2 3 4 5 →