Pages that link to "Item:Q3192221"
From MaRDI portal
The following pages link to Verifying Monadic Second-Order Properties of Graph Programs (Q3192221):
Displaying 9 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)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Verifying graph programs with monadic second-order logic (Q2117269) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Ensuring Correctness of Model Transformations While Remaining Decidable (Q3179408) (← links)
- On the Operationalization of Graph Queries with Generalized Discrimination Networks (Q3187810) (← links)
- (Q5875357) (← links)
