Pages that link to "Item:Q1708184"
From MaRDI portal
The following pages link to Towards a navigational logic for graphical structures (Q1708184):
Displaying 5 items.
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Graph Transformations (Q5292605) (← links)
- A logical approach to graph databases (Q6615562) (← links)