2 citations · 3 across the 3 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…