Pages that link to "Item:Q3541947"
From MaRDI portal
The following pages link to Conflict Detection for Graph Transformation with Negative Application Conditions (Q3541947):
Displaying 11 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)
- Exploring conflict reasons for graph transformation systems (Q2292969) (← 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)
- Conflict Anticipation in the Search for Graph Automorphisms (Q2891455) (← 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)