The following pages link to Graph Transformations (Q5292605):
Displayed 17 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Constructing constraint-preserving interaction schemes in adhesive categories (Q2185892) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Presenting basic graph logic (Q2671594) (← links)
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (Q3540414) (← links)
- (Q5021219) (← links)
- (Q5028460) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)