FAIRNESS IN TERM REWRITING-SYSTEMS

被引：0

|

作者：

PORAT, S

FRANCEZ, N

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：287 / 300

页数：14

相关论文

共 50 条

[21] STATIC ANALYSIS OF TERM GRAPH REWRITING-SYSTEMS
HANKIN, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 367 - 384
[22] SUFFICIENT COMPLETENESS, TERM REWRITING-SYSTEMS AND ANTIUNIFICATION
COMON, H
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 128 - 140
[23] CONFLUENT TERM REWRITING-SYSTEMS WITH MEMBERSHIP CONDITIONS
TOYAMA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 228 - 241
[24] MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
INFORMATION AND COMPUTATION, 1993, 104 (01) : 110 - 158
[25] DECIDABILITY OF CONFLUENCE FOR GROUND TERM REWRITING-SYSTEMS
DAUCHET, M
TISON, S
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 199 : 80 - 89
[26] TRANSFINITE REDUCTIONS IN ORTHOGONAL TERM REWRITING-SYSTEMS
KENNAWAY, R
KLOP, JW
SLEEP, R
DEVRIES, FJ
INFORMATION AND COMPUTATION, 1995, 119 (01) : 18 - 38
[27] A COMPILER FOR A CLASS OF CONDITIONAL TERM REWRITING-SYSTEMS
GESER, A
HUSSMANN, H
MUCK, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 84 - 90
[28] A PARALLEL COMPLETION PROCEDURE FOR TERM REWRITING-SYSTEMS
YELICK, KA
GARLAND, SJ
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 109 - 123
[29] COMPILATION OF GROUND TERM REWRITING-SYSTEMS AND APPLICATIONS
DAUCHET, M
DERUYVER, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 556 - 558
[30] GRAPH-REDUCIBLE TERM REWRITING-SYSTEMS
PLUMP, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 622 - 636

← 1 2 3 4 5 →