7 citations · 15 across the 11 of their papers we have counts for
1 paper · 2 filters
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks +1
The theory of finite and infinitary term rewriting is extensively developed for orthogonal rewrite systems, but to a lesser degree for weakly orthogonal rewrite systems. In this no…