KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES (Q4786262)
From MaRDI portal
scientific article; zbMATH DE number 1845101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES |
scientific article; zbMATH DE number 1845101 |
Statements
KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES (English)
0 references
15 December 2002
0 references
automatic groups
0 references
Knuth-Bendix procedures
0 references
finite state automata
0 references
word reductions
0 references
solvable word problem
0 references
regular languages
0 references
finitely presented groups
0 references
