Pages that link to "Item:Q3192220"
From MaRDI portal
The following pages link to Tableau-Based Reasoning for Graph Properties (Q3192220):
Displaying 7 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)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java (Q5100741) (← links)
