Relative Undecidability in Term Rewriting: I. The Termination Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema. Relative Undecidability in Term Rewriting: I. The Termination Hierarchy. Inf. Comput., 178(1):101-131, 2002. [doi]

Abstract

Abstract is missing.