Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
HERMANN, FRANK
EHRIG, HARTMUT
GOLAS, ULRIKE
and
OREJAS, FERNANDO
2014.
Formal analysis of model transformations based on triple graph grammars.
Mathematical Structures in Computer Science,
Vol. 24,
Issue. 4,
Cavalheiro, Simone André da Costa
Foss, Luciana
and
Ribeiro, Leila
2017.
Theorem proving graph grammars with attributes and negative application conditions.
Theoretical Computer Science,
Vol. 686,
Issue. ,
p.
25.
Corradini, Andrea
Saadat, Maryam Ghaffari
and
Heckel, Reiko
2019.
Graph Transformation.
Vol. 11629,
Issue. ,
p.
93.
Corradini, Andrea
Duval, Dominique
Echahed, Rachid
Prost, Frédéric
and
Ribeiro, Leila
2020.
Algebraic graph rewriting with controlled embedding.
Theoretical Computer Science,
Vol. 802,
Issue. ,
p.
19.
Behr, Nicolas
and
Krivine, Jean
2021.
Compositionality of Rewriting Rules with Conditions.
Compositionality,
Vol. 3,
Issue. ,
p.
2.