1
An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation /
Book
2
On congruences and normal forms definable by term rewriting systems /
Book
3
P complete problems in free groups /
Book
4
Polynomial algorithms for problems in free groups based on Nielsen type arguments /
Book
5
Polynomial time algorithms for the nielsen reduction and related problems in free groups /
Book