Pages that link to "Item:Q2049986"
From MaRDI portal
The following pages link to Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986):
Displaying 3 items.
- Initial conflicts and dependencies: critical pairs revisited (Q1708183) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)