8 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Jens Kosiol, Gabriele Taentzer
Double-pushout rewriting is an established categorical approach to the rule-based transformation of graphs and graph-like objects. One of its standard results is the construction o…