Aufsatz in einer Fachzeitschrift
A completion procedure for finitely presented groups that is based on word cycles



Details zur Publikation
Autor(inn)en:
Cremanns, R.; Otto, F.
Publikationsjahr:
2002
Zeitschrift:
Journal of Automated Reasoning
Seitenbereich:
235-256
Jahrgang/Band:
28
ISSN:
0168-7433



Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2019-01-11 um 16:04

Link teilen