A completion procedure for finitely presented groups that is based on word cycles
From MaRDI portal
Publication:1610670
DOI10.1023/A:1015741511536zbMath1002.68080OpenAlexW1548870366MaRDI QIDQ1610670
Friedrich Otto, Robert Cremanns
Publication date: 20 August 2002
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1015741511536
Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items
