学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
GRAPH EXPRESSIONS AND GRAPH REWRITINGS
被引:144
作者
:
BAUDERON, M
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV BORDEAUX 1, DEPT INFORMAT, CNRS FORMAT, 351 COURS LIBERAT, F-33405 TALENCE, FRANCE
BAUDERON, M
COURCELLE, B
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV BORDEAUX 1, DEPT INFORMAT, CNRS FORMAT, 351 COURS LIBERAT, F-33405 TALENCE, FRANCE
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 条
[31]
PETROV SV, 1978, AUTOMAT REM CONTR+, V39, P1034
[32]
ON GRAPH REWRITINGS
RAOULT, JC
论文数:
0
引用数:
0
h-index:
0
RAOULT, JC
[J].
THEORETICAL COMPUTER SCIENCE,
1984,
32
(1-2)
: 1
-
24
[33]
Rosen B. K., 1975, Acta Informatica, V4, P337, DOI 10.1007/BF00289616
[34]
ALGEBRAIC CHARACTERIZATION OF REDUCIBLE FLOWCHARTS
SCHMECK, H
论文数:
0
引用数:
0
h-index:
0
SCHMECK, H
[J].
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
1983,
27
(02)
: 165
-
199
[35]
[No title captured]
←
1
2
3
4
→
共 35 条
[31]
PETROV SV, 1978, AUTOMAT REM CONTR+, V39, P1034
[32]
ON GRAPH REWRITINGS
RAOULT, JC
论文数:
0
引用数:
0
h-index:
0
RAOULT, JC
[J].
THEORETICAL COMPUTER SCIENCE,
1984,
32
(1-2)
: 1
-
24
[33]
Rosen B. K., 1975, Acta Informatica, V4, P337, DOI 10.1007/BF00289616
[34]
ALGEBRAIC CHARACTERIZATION OF REDUCIBLE FLOWCHARTS
SCHMECK, H
论文数:
0
引用数:
0
h-index:
0
SCHMECK, H
[J].
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
1983,
27
(02)
: 165
-
199
[35]
[No title captured]
←
1
2
3
4
→