Pages that link to "Item:Q3541979"
From MaRDI portal
The following pages link to Satisfiability of High-Level Conditions (Q3541979):
Displaying 7 items.
- Reasoning with graph constraints (Q973044) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
