Journal article
Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids
Publication Details
Authors: | Katsura, M.; Kobayashi, Y.; Otto, F. |
Publication year: | 1998 |
Journal: | Journal of Symbolic Computation |
Pages range : | 621-648 |
Volume number: | 26 |
ISSN: | 0747-7171 |
Projects
