NORMAL LEVEL REWRITING-SYSTEMS

被引：5

|

作者：

BAUER, G

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1985年 / 40卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(85)90160-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：85 / 99

页数：15

相关论文

共 50 条

[41] STATIC ANALYSIS OF TERM GRAPH REWRITING-SYSTEMS
HANKIN, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 367 - 384
[42] SUFFICIENT COMPLETENESS, TERM REWRITING-SYSTEMS AND ANTIUNIFICATION
COMON, H
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 128 - 140
[43] CONFLUENT TERM REWRITING-SYSTEMS WITH MEMBERSHIP CONDITIONS
TOYAMA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 228 - 241
[44] MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
INFORMATION AND COMPUTATION, 1993, 104 (01) : 110 - 158
[45] REWRITING-SYSTEMS WITH LIMITED DISTANCE FORBIDDING CONTEXT
VONSOLMS, SH
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1982, 11 (3-4) : 227 - 239
[46] DECIDABILITY OF CONFLUENCE FOR GROUND TERM REWRITING-SYSTEMS
DAUCHET, M
TISON, S
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 199 : 80 - 89
[47] TRANSFINITE REDUCTIONS IN ORTHOGONAL TERM REWRITING-SYSTEMS
KENNAWAY, R
KLOP, JW
SLEEP, R
DEVRIES, FJ
INFORMATION AND COMPUTATION, 1995, 119 (01) : 18 - 38
[48] A COMPLETION PROCEDURE FOR HIERARCHICAL CONDITIONAL REWRITING-SYSTEMS
BOUSDIRA, W
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 93 - 107
[49] 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
[50] A PARALLEL COMPLETION PROCEDURE FOR TERM REWRITING-SYSTEMS
YELICK, KA
GARLAND, SJ
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 109 - 123

← 1 2 3 4 5 →