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