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 条

[11] PUSHOUT-PROPERTIES - ANALYSIS OF GLUING CONSTRUCTIONS FOR GRAPHS
EHRIG, H
KREOWSKI, HJ
[J]. MATHEMATISCHE NACHRICHTEN, 1979, 91 : 135 - 149
[12] TRANSFORMATIONS OF STRUCTURES - AN ALGEBRAIC APPROACH
EHRIG, H
KREOWSKI, HJ
MAGGIOLOSCHETTINI, A
ROSEN, BK
WINKOWSKI, J
[J]. MATHEMATICAL SYSTEMS THEORY, 1981, 14 (04): : 305 - 334
[13] EHRIG H, 1979, LECT NOTES COMP SCI, V73, P1, DOI DOI 10.1007/BFB0025714
[14] Ehrig Hartmut, 1985, EATCS MONOGRAPHS THE, V6
[15] AUTOMATA IN GENERAL ALGEBRAS
EILENBERG, S
[J]. INFORMATION AND CONTROL, 1967, 11 (04): : 452 - +
[16] ELGOT C, 1975, P LOGIC C, V73, P175
[17] IO AND OI.I
ENGELFRIET, J
SCHMIDT, EM
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 15 (03) : 328 - 353
[18] IO AND OI .2.
ENGELFRIET, J
SCHMIDT, EM
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (01) : 67 - 99
[19] 2 FAMILIES OF LANGUAGES RELATED TO ALGOL
GINSBURG, S
RICE, HG
[J]. JOURNAL OF THE ACM, 1962, 9 (03) : 350 - +
[20] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS
GOGUEN, JA
THATCHER, JW
WAGNER, EG
WRIGHT, JB
[J]. JOURNAL OF THE ACM, 1977, 24 (01) : 68 - 95