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 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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …