The following pages link to Graph Transformations (Q5292593):
Displaying 13 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- A formalisation of deep metamodelling (Q736852) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- (Q4438777) (← links)
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172) (← links)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- A logical approach to graph databases (Q6615562) (← links)