16 citations · 24 across the 9 of their papers we have counts for
1 paper · 1 filter
Patrick Bahr
In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is b…