Pages that link to "Item:Q5100729"
From MaRDI portal
The following pages link to Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729):
Displaying 3 items.
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Local Confluence for Rules with Nested Application Conditions (Q4931325) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)