On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

Rational sets in commutative monoids

Samuel Eilenberg, M. P. Schützenberger · Journal of Algebra · 1969 · 222 citations

Natural Sciences, Mathematics, Algebra +10

Decidable sentences of Church-Rosser congruences

Ronald V. Book · Theoretical Computer Science · 1983 · 55 citations

Language Studies, Linguistics, Syntax +4

New decision algorithms for finitely presented commutative semigroups

A. Michael Ballantyne, Dallas Lankford · Computers & Mathematics with Applications · 1981 · 45 citations

Computing, Computer Science, Mathematics +5

Finite and infinite regular thue systems

Colm Ó'Dúnlaing · 1981 · 29 citations

Computing, Computer Science, Mathematics +9