The following pages link to Reasoning with graph constraints (Q973044):
Displaying 14 items.
- A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
- Discovering implied constraints in precedence graphs with alternatives (Q613781) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- On graph reasoning (Q731892) (← links)
- Integration of graph constraints into graph grammars (Q1708177) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Satisfiability of Constraint Specifications on XML Documents (Q2945725) (← links)
- A Decidable Constraint Diagram Reasoning System (Q3371151) (← links)
- Constraint Programming Models for Graceful Graphs (Q3524256) (← links)
- (Q4411130) (← links)
- (Q4420278) (← links)
- (Q4511277) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)