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

Gespeichert in:

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

Keine Ergebnisse!