GRAPH EXPRESSIONS AND GRAPH REWRITINGS

被引：144

作者：

BAUDERON, M

COURCELLE, B

机构：

[1] UNIV BORDEAUX 1, DEPT INFORMAT, CNRS FORMAT, 351 COURS LIBERAT, F-33405 TALENCE, FRANCE

[2] UNIV BORDEAUX 1, IUT A, DEPT INFORMAT, F-33405 TALENCE, FRANCE

来源：

MATHEMATICAL SYSTEMS THEORY | 1987年 / 20卷 / 2-3期

关键词：

D O I：

10.1007/BF01692060

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：83 / 127

页数：45

共 35 条

[1] ARNOLD A, 1978, RAIRO-INF THEOR-TH C, V12, P235
[2] BAUDERON M, IN PRESS INFINITE GR
[3] SOLUTIONS OF THE ITERATION EQUATION AND EXTENSIONS OF THE SCALAR ITERATION OPERATION
BLOOM, SL
ELGOT, CC
WRIGHT, JB
[J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (01) : 25 - 45
[4] FUNDAMENTAL-STUDIES - EQUIVALENCES AND TRANSFORMATIONS OF REGULAR SYSTEMS - APPLICATIONS TO RECURSIVE PROGRAM SCHEMES AND GRAMMARS
COURCELLE, B
[J]. THEORETICAL COMPUTER SCIENCE, 1986, 42 (01) : 1 - 122
[5] FUNDAMENTAL PROPERTIES OF INFINITE-TREES
COURCELLE, B
[J]. THEORETICAL COMPUTER SCIENCE, 1983, 25 (02) : 95 - 169
[6] COURCELLE B, 1987, 8729 BORD 1 U RES RE
[7] COURCELLE B, 1987, IN PRESS LECTURE NOT
[8] COURCELLE B, 1986, 8634 BORD 1 U RES RE
[9] COURCELLE B, 1988, IN PRESS THEORET COM, V55
[10] Ehrig H., 1973, 14th Annual Symposium on Switching Automata Theory, P167, DOI 10.1109/SWAT.1973.11