A tutorial and bibliographical survey on graph grammars

M Nagl - International Workshop on Graph Grammars and Their …, 1978 - Springer
In the first section we make some remarks (without going into any details) about the main
application fields of graph grammars to motivate their investigation. In section 2 and 3 we …

Monographs in Theoretical Computer Science An EATCS Series

ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
In the late 1960s and early 1970s, the concepts of graph transformation and graph
grammars started to become of interest in picture processing and computer science. The …

Grammar-based genetic programming: a survey

RI McKay, NX Hoai, PA Whigham, Y Shan… - … and Evolvable Machines, 2010 - Springer
Grammar formalisms are one of the key representation structures in Computer Science. So it
is not surprising that they have also become important as a method for formalizing …

Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach

A Corradini, U Montanari, F Rossi, H Ehrig… - Handbook Of Graph …, 1997 - World Scientific
The algebraic approaches to graph transformation are based on the concept of gluing of
graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This …

A tutorial on graph transformation

B König, D Nolte, J Padberg, A Rensink - … , and Nets: In Memory of Hartmut …, 2018 - Springer
Graph transformation or graph rewriting has been developed for nearly 50 years and has
become a mature and manifold formal technique. Basically, rewrite rules are used to …

Graph rewriting: An algebraic and logic approach

B Courcelle - Formal Models and Semantics, 1990 - Elsevier
Publisher Summary This chapter presents three mathematical tools that can be used to
describe graph-grammars and the sets generated by them. The chapter describes graph …

Plants, fractals, and formal languages

AR Smith - ACM SIGGRAPH Computer Graphics, 1984 - dl.acm.org
Although fractal models of natural phenomena have received much attention recently, there
are other models of complex natural objects which have been around longer in Computer …

Algebraic approach to single-pushout graph transformation

M Löwe - Theoretical Computer Science, 1993 - Elsevier
The single-pushout approach to graph transformation interprets a double-pushout
transformation rule of the classical algebraic approach which consists of two total graph …

Algebraic approaches to graph transformation–part II: Single pushout approach and comparison with double pushout approach

H Ehrig, R Heckel, M Korff, M Löwe… - Handbook Of Graph …, 1997 - World Scientific
The algebraic approaches to graph transformation are based on the concept of gluing of
graphs corresponding to pushouts in suitable categories of graphs and graph morphisms …

Adhesive categories

S Lack, P Sobociński - … Conference on Foundations of Software Science …, 2004 - Springer
We introduce adhesive categories, which are categories with structure ensuring that
pushouts along monomorphisms are well-behaved. Many types of graphical structures used …