AGREE
From MaRDI portal
Cited in
(25)- AGG
- The Verigraph system for graph transformation
- The PBPO graph transformation approach
- Algebraic graph rewriting with controlled embedding
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Concurrency theorems for non-linear rewriting theories
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Henshin
- Parallel rewriting of attributed graphs
- Theorem proving graph grammars with attributes and negative application conditions
- Unification of drags and confluence of drag rewriting
- MedOlDatschgerl
- AGREE -- algebraic graph rewriting with controlled embedding
- Sesqui-pushout rewriting with type refinements
- Parallelism in AGREE transformations
- Verigraph
- eMoflon
- EMorF
- SEQUEL
- scientific article; zbMATH DE number 7453087 (Why is no real title available?)
- Patch graph rewriting
- egg
- DrAGoM
- Grez
- CatLib
This page was built for software: AGREE
