Pages that link to "Item:Q5404172"
From MaRDI portal
The following pages link to Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172):
Displaying 16 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- On the essence and initiality of conflicts (Q1663985) (← links)
- Initial conflicts and dependencies: critical pairs revisited (Q1708183) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Module integration using graph grammars (MIGRATE) (Q2154049) (← links)
- Exploring conflict reasons for graph transformation systems (Q2292969) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- (Q5021233) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172) (← links)