Avenhaus, Jürgen
VIAF ID:32499010
Preferred Forms
Selected Titles
- An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation
(1)
- Zur numerischen Behandlung des Anfangswertproblems mit exakter Fehlererfassung
(1)
- String matching and algorithmic problems in free groups
(1)
- Reduktionssysteme Rechnen und Schliessen in gleichungsdefinierten Strukturen
(1)
- Polynomial time algorithms for the Nielsen reduction and related problems in free groups
(1)
- Polynomial algorithms for problems in free groups based on Nielsen type arguments
(1)
- P-complete problems in free groups
(1)
- On the termination of the Knuth-Bendix completion algorithm
(1)
- On congruences and normal forms definable by term rewriting systems
(1)
- Groups presented by finite two monadic Church-Rosser Thue systems
(1)
