Graph Transformations
From MaRDI portal
Publication:5292593
DOI10.1007/b100934zbMath1116.68481OpenAlexW4214712303MaRDI QIDQ5292593
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)
Related Items (9)
Amalgamation of domain specific languages with behaviour ⋮ Attributed graph transformation with node type inheritance ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Towards the Verification of Attributed Graph Transformation Systems ⋮ Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs ⋮ A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams ⋮ A formalisation of deep metamodelling ⋮ Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi
Uses Software
This page was built for publication: Graph Transformations
