The following pages link to A Logic of Graph Constraints (Q5460000):
Displaying 9 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- Satisfiability of Constraint Specifications on XML Documents (Q2945725) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Pattern-Based Model-to-Model Transformation (Q3540416) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
