CONDITIONAL REWRITE RULES

被引：84

作者：

KAPLAN, S

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1984年 / 33卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(84)90087-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：175 / 193

页数：19

相关论文

共 15 条

[1]

BERGSTRA J, 1982, IW19882 MATH CENTR R

[2]

DROSTEN K, 1983, 8301 TU BRAUNSCHW RE

[3]

GAUDEL MC, 1980, THESIS NANCY

[4]

GOGEN JA, 1978, CURRENT TRENDS PROGR, V4

[5]

HUET G, 1980, INRIA28 REPT

[6]

KAPLAN S, 1983, THESIS U PARIS ORSAY

[7]

Knuth D.E., 1970, COMPUTATIONAL PROBLE

[8]

LANKFORD DS, 1979, SOME NEW APPROACHES

[9]

ODONNEL M, 1977, LECTURE NOTES COMPUT, V58

[10]

PLETAT U, 1981, 7TH CAAP LILL