Pages that link to "Item:Q3540406"
From MaRDI portal
The following pages link to Resolution-Like Theorem Proving for High-Level Conditions (Q3540406):
Displaying 10 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
- (Q5020535) (← links)
- (Q5020951) (← links)
