
On Coxeter's families of group presentations
Keywords: گروه ها; Groups; Presentations; Finiteness proofs; Infiniteness proofs; Todd-Coxeter coset enumeration; Knuth-Bendix rewriting; Automatic groups;