Graph Transformations
From MaRDI portal
Publication:5292593
DOI10.1007/B100934zbMATH Open1116.68481OpenAlexW4214712303MaRDI QIDQ5292593FDOQ5292593
Authors: 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
Recommendations
- scientific article; zbMATH DE number 2016074
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Publication:4941931
- Attributed graph transformation with node type inheritance
- Graph Transformations
- scientific article; zbMATH DE number 969071
- Towards the Verification of Attributed Graph Transformation Systems
- Transformation of typed composite graphs with inheritance and containment structures
- Multilevel typed graph transformations
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)
Cited In (18)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types
- A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Attributed Graph Constraints
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- A Unified Categorical Approach for Attributed Graph Rewriting
- Title not available (Why is that?)
- A formalisation of deep metamodelling
- A logical approach to graph databases
- 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
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Single pushout rewriting in comprehensive systems of graph-like structures
- Amalgamation of domain specific languages with behaviour
- Multilevel typed graph transformations
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Attributed graph transformation with node type inheritance
- Towards the Verification of Attributed Graph Transformation Systems
Uses Software
This page was built for publication: Graph Transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5292593)
