The following pages link to Graph Transformations (Q5292593):
Displaying 9 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← 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)
- 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)
