Pages that link to "Item:Q436370"
From MaRDI portal
The following pages link to Verification of graph grammars using a logical approach (Q436370):
Displaying 4 items.
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Interactive and automated proofs for graph transformations (Q4585009) (← links)
