Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy

Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema. Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy. Inf. Comput., 178(1):132-148, 2002. [doi]

Abstract

Abstract is missing.