AGREE
From MaRDI portal
Software:35506
swMATH23738MaRDI QIDQ35506FDOQ35506
Author name not available (Why is that?)
Cited In (14)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Parallel rewriting of attributed graphs
- The PBPO graph transformation approach
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Title not available (Why is that?)
- Concurrency theorems for non-linear rewriting theories
- Algebraic graph rewriting with controlled embedding
- Theorem proving graph grammars with attributes and negative application conditions
- Parallelism in AGREE Transformations
- Patch Graph Rewriting
- Sesqui-Pushout Rewriting with Type Refinements
- Unification of drags and confluence of drag rewriting
- The Verigraph system for graph transformation
This page was built for software: AGREE
