Efficiency issues in the KBMAG procedure (Q649584)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficiency issues in the KBMAG procedure |
scientific article |
Statements
Efficiency issues in the KBMAG procedure (English)
0 references
2 December 2011
0 references
Knuth-Bendix algorithm
0 references
automatic groups
0 references
string rewriting
0 references
software package \textsc{Kbmag}
0 references
