Pages that link to "Item:Q3541947"
From MaRDI portal
The following pages link to Conflict Detection for Graph Transformation with Negative Application Conditions (Q3541947):
Displayed 9 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Q2864377) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)