The following pages link to (Q4438775):
Displaying 11 items.
- The PBPO graph transformation approach (Q1734525) (← links)
- Reducibility between classes of port graph grammar. (Q1872703) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← 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)
- (Q5021227) (← links)
- Preserving consistency in geometric modeling with graph transformations (Q5059141) (← links)
- (Q5875357) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
