Fundamentals of Algebraic Graph Transformation

• Main Authors: Ehrig, Hartmut (Author), Ehrig, Karsten (Author), Prange, Ulrike (Author), Taentzer, Gabriele (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Monographs in Theoretical Computer Science. An EATCS Series,
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Theory of Computation.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebra...