The use of Knuth-Bendix methods to solve the wordproblem in automatic groups

Type: Article

Publication Date: 1991-10-01

Citations: 64

DOI: https://doi.org/10.1016/s0747-7171(08)80093-4

Locations

  • Journal of Symbolic Computation - View