1
It is decidable in polynomial time whether a monoid presented by a finite weight reducing and confluent thue system is torsion free.
Book
Other Personal Name(s): ...Otto, F....
2
Locally finite groups /
Book
Other Personal Name(s): ...Kegel, Otto H....