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 |
eISSN: | 1573-0670 |
DOI-Link der Erstveröffentlichung: |
Projects
