16 citations · 24 across the 9 of their papers we have counts for
1 paper · 2 filters
Patrick Bahr
Term graph rewriting provides a simple mechanism to finitely represent restricted forms of infinitary term rewriting. The correspondence between infinitary term rewriting and term…