Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups

Friedrich Otto, Daniel E. Cohen, Klaus Madlener. Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups. Math. Log. Q., 39:143-157, 1993.

Abstract

Abstract is missing.