21 search results - page 5 / 5 » Completion for Rewriting Modulo a Congruence |
123
Voted
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...