Pages that link to "Item:Q1708183"
From MaRDI portal
The following pages link to Initial conflicts and dependencies: critical pairs revisited (Q1708183):
Displaying 5 items.
- 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)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
