00000nz a2200037o 45 0 DNB|106829068 DNB 20080406014856.0 941015n||aznnnabbn | aba |c (DE-101)106829068 (DE-588a)106829068 DE-101 ger DE-101 rakwb 9999 p f v Avenhaus, Jürgen 978354058559 1 combinatorial algorithms in algebraic structures 1 Combinatorial algorithms in algebraic structures ger p complete problems in free groups 1 P-complete problems in free groups ger reduktionssysteme rechnen und schliessen in gleichungsdefinierten strukturen 1 Reduktionssysteme Rechnen und Schliessen in gleichungsdefinierten Strukturen ger string matching and algorithmic problems in free groups 1 String matching and algorithmic problems in free groups ger polynomial algorithms for problems in free groups based on nielsen type arguments 1 Polynomial algorithms for problems in free groups based on Nielsen type arguments ger on the termination of the knuth bendix completion algorithm 1 On the termination of the Knuth-Bendix completion algorithm ger polynomial time algorithms for the nielsen reduction and related problems in free groups 1 Polynomial time algorithms for the Nielsen reduction and related problems in free groups ger on congruences and normal forms definable by term rewriting systems 1 On congruences and normal forms definable by term rewriting systems ger algorithm for the word problem in hnn extensions and the dependence of its complexity on the group representation 1 ˜Anœ algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation ger groups presented by finite two monadic church rosser thue systems 1 Groups presented by finite two monadic Church-Rosser Thue systems ger zur numerischen behandlung des anfangswertproblems mit exakter fehlererfassung 1 Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung ger 978-35405 1 fachbereich informatik univ 8 Fachbereich Informatik, Univ. ger springer 1 Springer ger fachbereich informatik univ kaiserslautern 1 Fachbereich Informatik, Univ. Kaiserslautern ger gw 11 jurgen avenhaus 2 j avenhaus 8 ger 11 edt 1 aut 10 478 10 197x 3 198x 7 199x 1 am 11 18 8 19 5 20 1 24 1 otto friedrich 1 Otto, Friedrich 1952- ger madlener klaus 6 Madlener, Klaus ger universitat kaiserslautern fachbereich informatik 5 Universität <Kaiserslautern> Fachbereich Informatik ger 0 0 lived 0 0 1 DDB|800615867 DDB|943435854 DDB|810438720 DDB|850612276 DDB|810438763 DDB|911083995 DDB|810438747 DDB|860180778 DDB|800768531 DDB|891067132 DDB|482091789 00000 Wa2200037d Jan 18 11:33:52 EST 2012 batch 3123 45 0