Avenhaus, Jürgen
Avenhaus, J.
VIAF ID: 32499010 (Personal)
Permalink: http://viaf.org/viaf/32499010
Preferred Forms
-
100 1 _ ‡a Avenhaus, Jürgen
-
100 1 _ ‡a Avenhaus, J.
Selected Titles
- On the termination of the Knuth-Bendix completion algorithm
(2)
- 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 congruences and normal forms definable by term rewriting systems
(1)
- Groups presented by finite two monadic Church-Rosser Thue systems
(1)
