It is decidable in polynomial time whether a monoid presented by a finite weight reducing and confluent thue system is torsion free.
Saved in:
| Personal Name(s): | Narendran, P. |
|---|---|
| Otto, F. | |
| Imprint: |
Kaiserslautern :
Universität Kaiserslautern,
1987.
|
| Physical Description: |
16 S. |
| Note: |
englisch |
| Series Title: |
Interner Bericht / Universität Kaiserslautern Fachbereich Informatik ;
Vol 0173. |
| Classification: |
| ZB | |
|---|---|
Open Stacks  Call Number: S 005967-0173'01' Barcode: 1087106212
Available
|
|