2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Andrea Corradini, Tobias Heindel, Barbara König +2
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-h…