00000nz a2200037o 45 0 DNB|109112679 DNB 20080406090349.0 790912n||aznnnabbn | aba |c (DE-101)109112679 (DE-588a)109112679 DE-101 ger DE-101 rakwb 9999 p f v Madlener, Klaus finitely generated derivation bounded presentations of groups 1 Finitely generated derivation bounded presentations of groups ger test for l63 confluence for certain prefix rewriting systems with applications to the generalized word problem 1 ˜Aœ test for ˜_l63-confluence œ[lambda-confluence] for certain prefix rewriting systems with applications to the generalized word problem ger p complete problems in free groups 1 P-complete problems in free groups ger in eine einfache untergruppe einer endlich dargestellten gruppe 1 ˜Eine E_1tnn-Frattini-Einbettungœ [En-Frattini-Einbettung] in eine einfache Untergruppe einer endlich dargestellten Gruppe ger encoding complexities in decision problems of finitely presented combinatorial systems 1 Encoding complexities in decision problems of finitely presented combinatorial systems ger decidable sentences for context free groups 1 Decidable sentences for context free groups ger string matching and algorithmic problems in free groups 1 String matching and algorithmic problems in free groups ger on the problem of generating small convergent systems 1 On the problem of generating small convergent systems ger polynomial algorithms for problems in free groups based on nielsen type arguments 2 Polynomial algorithms for problems in free groups based on Nielsen type arguments ger on weakley confluent monadic string rewriting systems 1 On weakley confluent monadic string rewriting systems ger some undecidability results for finitely generated thue congruences on a two letter alphabet 1 Some undecidability results for finitely generated Thue congruences on a two-letter alphabet eng 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 remark on derivations in certain hnn extensions 1 ˜Aœ remark on derivations in certain HNN extensions ger derivation bounded groups 1 Derivation-bounded groups ger pseudo natural algorithms for decision problems in certain types of string rewriting systems 2 Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems ger on finitely generated non finite presentations of groups and monoids 2 On finitely generated non-finite presentations of groups and monoids ger commutativity in groups presented by finite church rosser thue systems 1 Commutativity in groups presented by finite Church Rosser Thue systems ger groups presented by finite two monadic church rosser thue systems 1 Groups presented by finite two monadic Church-Rosser Thue systems ger using string rewriting for solving the world problem for finitely presented groups 1 Using string rewriting for solving the world problem for finitely presented groups ger on the quality of pseudo natural algorithms for the word problem 1 On the quality of pseudo-natural algorithms for the word problem ger application of rewriting techniques to solve the generalized word problem in groups 1 Application of rewriting techniques to solve the generalized word problem in groups ger etini einbettung in eine einfache untergruppe einer endlich dargestellten gruppe 1 ˜Eineœ Etini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe 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 ghk 3 GhK ger fachbereich informatik univ 14 Fachbereich Informatik, Univ. ger univ fachbereich informatik 4 Univ., Fachbereich Informatik ger fachbereich informatik 1 Fachbereich Informatik ger ghk fachbereich 17 1 GhK, Fachbereich 17 ger fachbereich informatik univ kaiserslautern 3 Fachbereich Informatik, Univ. Kaiserslautern ger gw 26 klaus madlener 9 k madlener 17 ger 25 eng 1 cre 1 aut 25 478 21 197x 2 198x 18 199x 6 am 26 18 14 19 9 24 5 avenhaus jurgen 6 Avenhaus, Jürgen ger avenhaus j 1 Avenhaus, J. ger kuhn norbert 2 Kuhn, Norbert ger otto friedrich 17 Otto, Friedrich 1952- ger sattler klein andrea 1 Sattler-Klein, Andrea ger universitat kaiserslautern fachbereich informatik 13 Universität <Kaiserslautern> Fachbereich Informatik ger gesamthochschule kassel fachbereich mathematik 1 Gesamthochschule <Kassel> Fachbereich Mathematik ger 0 0 lived 0 0 1 DDB|870334387 DDB|210047356 DDB|850612276 DDB|870477676 DDB|821221779 DDB|800615867 DDB|940571161 DDB|949670901 DDB|810438720 DDB|920176917 DDB|210046813 DDB|910459029 DDB|810438763 DDB|810438747 DDB|850191122 DDB|810378817 DDB|900068981 DDB|209660562 DDB|209448946 DDB|850191327 DDB|830599304 DDB|800768531 DDB|820228753 DDB|942340302 DDB|910459010 DDB|891015892 00000 Wa2200037d Jan 18 11:41:02 EST 2012 batch 5955 45 0