SCOPUS 정보 검색 플랫폼

Volumn 2, Issue C, 1995, Pages 118-126

Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONSTRAINT THEORY; DATABASE SYSTEMS; GRAPHIC METHODS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SECURITY OF DATA;

CONSISTENCY CONDITIONS; GLOBAL CONSISTENCY; GRAPH GRAMMERS; SAFETY CRITICAL SYSTEMS;

GRAPH THEORY;

EID: 18944376711 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80188-4 Document Type: Article

Times cited : (110)

References (14)

1
- 84916495986
- M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, r. Heckel, Müller J., G. Taentzer, and A. Wagner. Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. Techn. Report 95–7, TU-Berlin, 1995. students project report.

2
- 84916473945
- B. Courcelle. The monadic second-order logic of graphs I, recognizable sets of finite graphs. Information and Computation, 85 (1990) 12–75

3
- 0009398436
- Graph grammars with application conditions
- G. Rozenberg, A. Salomaa
- (1985) The Book of L , pp. 87-100
- Ehrig¹ Habel²

4
- 85034646939
- Introduction to the algebraic theory of graph grammars
- V. Claus, H. Ehrig, G. Rozenberg
- (1979) 1st Graph Grammar Workshop, Lecture Notes in Computer Science 13 , pp. 1-69
- Ehrig¹

5
- 84916510964
- A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions, accepted for special issue of Fundamenta Informaticae, 1995.

6
- 84916466296
- H.-J. Kreowski and S. Kuske. On the interleaving semantics of transformation units - a step into GRACE, submitted to proceedings of Graph Grammar Workshop in Williamsburg, 1994.

7
- 84916469214
- M. Korff. Single pushout transformations of equationally defined graph structures with applications to actor systems. In Proc. Graph Grammar Workshop Dagstuhl 93, pages 234–247, 1994. Lecture Notes in Computer Science 776.

8
- 0027558267
- Algebraic approach to single-pushout graph transformation
- (1993) Theoretical Computer Science , vol.109 , pp. 181-224
- Löwe¹

9
- 0014778569
- Separable graphs, planar graphs and web grammars
- (1970) Information and Control , vol.16 , pp. 243-267
- Montanari¹

11
- 78649529095
- Progress: A vhl-language based on graph grammars
- Springer
- (1991) LNCS532.
- Schürr¹

12
- 18944367506
- Logic based structure rewriting systems
- H.-J. Schneider, H. Ehrig, Springer
- (1994) Graph Transformations in Computer Science.
- Schürr¹

13
- 0021416077
- Node-label controlled graph grammars with context conditions
- (1984) Intern. J. Computer Math , vol.15 , pp. 39-49
- von Solms¹

14
- 18944370000
- On the expressive power of graph grammars with application conditions
- (1995) TAPSOFT/CAAP
- Wagner¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.