8 citations · 13 across the 12 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…