Pages that link to "Item:Q418014"
From MaRDI portal
The following pages link to Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014):
Displaying 8 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)
- A logical approach to graph databases (Q6615562) (← links)