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

Bibliographische Detailangaben

1. Verfasser:	Narendran, Paliath
Weitere Verfasser:	Otto, Friedrich
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern Fachbereich Informatik, Univ. 1987
Schriftenreihe:	Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern 173
Schlagworte:	Monoid > Darstellungstheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!