Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

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…