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 [J].
BLOOM, SL ;
ELGOT, CC ;
WRIGHT, JB .
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 [J].
COURCELLE, B .
THEORETICAL COMPUTER SCIENCE, 1986, 42 (01) :1-122
[5]   FUNDAMENTAL PROPERTIES OF INFINITE-TREES [J].
COURCELLE, B .
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
1234