The following pages link to Reasoning with graph constraints (Q973044):
Displaying 4 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Satisfiability of Constraint Specifications on XML Documents (Q2945725) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
