Pages that link to "Item:Q5215908"
From MaRDI portal
The following pages link to Symbolic Model Generation for Graph Properties (Q5215908):
Displaying 7 items.
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Evaluation diversity for graph conditions (Q2117262) (← links)
- (Q5020535) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- Evaluation diversity for graph conditions (Q6156934) (← links)