37476658PersonalDNB|10911267940Madlener, KlausDNBMadlener, KlausDNBDNB|109112679|abzuob|a|ncnb|19790912zanPseudo-natural algorithms for decision problems in certain types of string-rewriting systemsDNBPolynomial algorithms for problems in free groups based on Nielsen type argumentsDNBOn finitely generated non-finite presentations of groups and monoidsDNB˜Eineœ Etini-Einbettung in eine einfache Untergruppe einer endlich dargestellten GruppeDNB˜Eine E_1tnn-Frattini-Einbettungœ [En-Frattini-Einbettung] in eine einfache Untergruppe einer endlich dargestellten GruppeDNB˜Aœ test for ˜_l63-confluence œ[lambda-confluence] for certain prefix rewriting systems with applications to the generalized word problemDNB˜Aœ remark on derivations in certain HNN extensionsDNB˜Anœ algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representationDNBUsing string rewriting for solving the world problem for finitely presented groupsDNBString matching and algorithmic problems in free groupsDNBSome undecidability results for finitely generated Thue congruences on a two-letter alphabetDNBPolynomial time algorithms for the Nielsen reduction and related problems in free groupsDNBP-complete problems in free groupsDNBOn weakley confluent monadic string rewriting systemsDNBOn the quality of pseudo-natural algorithms for the word problemDNBOn the problem of generating small convergent systemsDNBGroups presented by finite two monadic Church-Rosser Thue systemsDNBFinitely generated derivation bounded presentations of groupsDNBEncoding complexities in decision problems of finitely presented combinatorial systemsDNBDerivation-bounded groupsDNBDecidable sentences for context free groupsDNBCommutativity in groups presented by finite Church Rosser Thue systemsDNBApplication of rewriting techniques to solve the generalized word problem in groupsDNBOtto, Friedrich 1952-DNBUniversität <Kaiserslautern> Fachbereich InformatikDNBAvenhaus, JürgenDNBKuhn, NorbertDNBSattler-Klein, AndreaDNBGesamthochschule <Kassel> Fachbereich MathematikDNBAvenhaus, J.DNBFachbereich Informatik, Univ.DNBGhKDNBGhK, Fachbereich 17DNB00lived197198199amDNBautDNBcreDNB