18 citations · 25 across the 4 of their papers we have counts for
1 paper · 1 filter
Andrea Corradini, Frank Drewes
The relationship between Term Graph Rewriting and Term Rewriting is well understood: a single term graph reduction may correspond to several term reductions, due to sharing. It is…