ON GRAPH REWRITINGS

被引：46

作者：

RAOULT, JC

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(84)90021-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 24

页数：24

相关论文

共 7 条

[1]

BARENDREGT H, 1981, STUDIES LOGIC F MATH, V103

[2]

Cocke John, 1970, PROGRAMMING LANGUAGE

[3]

Ehrig H., 1973, 14th Annual Symposium on Switching Automata Theory, P167, DOI 10.1109/SWAT.1973.11

HUET, G .

[5]

Knuth D.E., 1970, COMPUTATIONAL PROBLE

[6]

LEVY JJ, 1978, THESIS U PARIS 7

[7]

MONTANGERO C, 1974, LECTURE NOTES COMPUT, V14