Pages that link to "Item:Q4931303"
From MaRDI portal
The following pages link to Delaying Constraint Solving in Symbolic Graph Transformation (Q4931303):
Displaying 11 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- (Q3198920) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- (Q5021217) (← links)
- (Q5021222) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)