Journal article
A completion procedure for finitely presented groups that is based on word cycles



Publication Details
Authors:
Cremanns, R.; Otto, F.
Publication year:
2002
Journal:
Journal of Automated Reasoning
Pages range:
235-256
Volume number:
28
ISSN:
0168-7433



Authors/Editors

Last updated on 2019-01-11 at 16:04