61 citations · 90 across the 12 of their papers we have counts for
1 paper · 2 filters
Joerg Endrullis, Helle Hvid Hansen, Dimitri Hendriks +2
We introduce a coinductive definition of infinitary term rewriting. The setup is surprisingly simple, and has in contrast to the usual definitions of infinitary rewriting, neither…