TY - BOOK
AU - Narendran, Paliath
AU - Otto, Friedrich
TI - It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free
PB - Fachbereich Informatik, Univ.
KW - Bericht
KW - Monoid
KW - Darstellungstheorie
PY - 1987
BT - Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 173
CY - Kaiserslautern
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation