Pages that link to "Item:Q3192220"
From MaRDI portal
The following pages link to Tableau-Based Reasoning for Graph Properties (Q3192220):
Displaying 5 items.
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219) (← links)
