16 citations · 24 across the 9 of their papers we have counts for
1 paper · 1 filter
Patrick Bahr
Term graph rewriting provides a formalism for implementing term rewriting in an efficient manner by avoiding duplication. Infinitary term rewriting has been introduced to study inf…