32499010PersonalDNB|10682906824Avenhaus, JürgenDNBAvenhaus, JürgenDNBDNB|106829068|abzuob|a|ncnb|19941015zan˜Anœ algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representationDNBZur numerischen Behandlung des Anfangswertproblems mit exakter FehlererfassungDNBString matching and algorithmic problems in free groupsDNBReduktionssysteme Rechnen und Schliessen in gleichungsdefinierten StrukturenDNBPolynomial time algorithms for the Nielsen reduction and related problems in free groupsDNBPolynomial algorithms for problems in free groups based on Nielsen type argumentsDNBP-complete problems in free groupsDNBOn the termination of the Knuth-Bendix completion algorithmDNBOn congruences and normal forms definable by term rewriting systemsDNBGroups presented by finite two monadic Church-Rosser Thue systemsDNBCombinatorial algorithms in algebraic structuresDNBMadlener, KlausDNBUniversität <Kaiserslautern> Fachbereich InformatikDNBOtto, Friedrich 1952-DNBFachbereich Informatik, Univ.DNBSpringerDNB00lived197198199amDNBautDNBedtDNB9783540585596DNB