✦ LIBER ✦
[Lecture Notes in Computer Science] Applied Algebra, Algebraic Algorithms and Error-Correcting Codes Volume 356 || It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free
✍ Scribed by Huguet, Llorenç; Poli, Alain
- Book ID
- 121079439
- Publisher
- Springer Berlin Heidelberg
- Year
- 1989
- Weight
- 592 KB
- Category
- Article
- ISBN
- 3540461507
No coin nor oath required. For personal study only.