00000nz##a22.....o..4500 viaf32499010 OCoLC 090303n||azznnabbn##########|a#aaa####|# http://viaf.org/viaf/32499010 uri VIAF VIAF Avenhaus, Jürgen (DNB)106829068 unknown 0 Madlener, Klaus 6 DNB Universität <Kaiserslautern> Fachbereich Informatik 5 DNB Otto, Friedrich 1952- 1 DNB aut 10 DNB edt 1 DNB am 11 DNB 9783540585596 1 DNB ˜Anœ algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation 1 DNB Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung 1 DNB String matching and algorithmic problems in free groups 1 DNB Reduktionssysteme Rechnen und Schliessen in gleichungsdefinierten Strukturen 1 DNB Polynomial time algorithms for the Nielsen reduction and related problems in free groups 1 DNB Polynomial algorithms for problems in free groups based on Nielsen type arguments 1 DNB P-complete problems in free groups 1 DNB On the termination of the Knuth-Bendix completion algorithm 1 DNB On congruences and normal forms definable by term rewriting systems 1 DNB Groups presented by finite two monadic Church-Rosser Thue systems 1 DNB Combinatorial algorithms in algebraic structures 1 DNB Fachbereich Informatik, Univ. 9 DNB Springer 1 DNB 197. 3 198. 7 199. 1 0 0 lived