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

Favorites
Saved in:

Narrow Search Results