Pages that link to "Item:Q1996850"
From MaRDI portal
The following pages link to A navigational logic for reasoning about graph properties (Q1996850):
Displaying 7 items.
- Institutions for navigational logics for graphical structures (Q724928) (← links)
- Towards a navigational logic for graphical structures (Q1708184) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power (Q6487303) (← links)
- A rule-based procedure for graph query solving (Q6535512) (← links)
- A logical approach to graph databases (Q6615562) (← links)