Pages that link to "Item:Q5096914"

The following pages link to Critical pairs in term graph rewriting (Q5096914):

Displaying 8 items.

• Modular aspects of term graph rewriting (Q1275016) (← links)
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
• Bisimilarity in term graph rewriting. (Q1854321) (← links)
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
• Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
• Unification of drags and confluence of drag rewriting (Q2683036) (← links)
• Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211) (← links)