Pages that link to "Item:Q724928"

The following pages link to Institutions for navigational logics for graphical structures (Q724928):

Displaying 2 items.

• A navigational logic for reasoning about graph properties (Q1996850) (← links)
• Incorrectness logic for graph programs (Q2117260) (← links)