TY -
BOOK
AU - Madlener, Klaus
AU - Otto, Friedrich
TI -
Commutativity in groups presented by finite Church-Rosser Thue systems
PB - Fachbereich Informatik, Univ.
KW - Bericht
KW - Thue-System
PY - 1986
N2 - Literaturverz. Bl. [25 - 27]
BT - Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 163
CY - Kaiserslautern
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -