The following pages link to AGREE (Q35506):
Displaying 14 items.
- The Verigraph system for graph transformation (Q1708186) (← links)
- The PBPO graph transformation approach (Q1734525) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
- Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
- Parallelism in AGREE Transformations (Q3187802) (← links)
- (Q5020536) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
