It is decidable in polynomial time whether a monoid presented by a finite weight reducing and confluent thue system is torsion free.

Saved in:
Narendran, P.
Otto, F.
Kaiserslautern : Universität Kaiserslautern, 1987.
16 S.
englisch
Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ; Vol 0173.

ZB
Open Stacks Call Number: S 005967-0173'01' Barcode: 1087106212 Available