43 citations · 101 across the 13 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…