Infinite Normal Forms (Preliminary Version) (2009)
Nachum Dershowitz, Strphane Kaplan, David A. Plalsted
We continue here a study of properties of rewrite systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give algebraic semantics for...