Pages that link to "Item:Q4931325"
From MaRDI portal
The following pages link to Local Confluence for Rules with Nested Application Conditions (Q4931325):
Displaying 8 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence (Q2898463) (← links)
- (Q5020535) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)