An Algorithm for the Word Problem in ::::HNN:::: Extensions and the Dependence of Its Complexity on the Group Representation

Jürgen Avenhaus, Klaus Madlener. An Algorithm for the Word Problem in ::::HNN:::: Extensions and the Dependence of Its Complexity on the Group Representation. ITA, 15(4):335-371, 1981.

Abstract

Abstract is missing.