On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
Avenhaus, Jürgen ; Book, Ronald V. ; Squier, Craig C.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984), p. 47-52 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1984__18_1_47_0,
     author = {Avenhaus, J\"urgen and Book, Ronald V. and Squier, Craig C.},
     title = {On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {18},
     year = {1984},
     pages = {47-52},
     mrnumber = {750450},
     zbl = {0542.20038},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1984__18_1_47_0}
}

Avenhaus, Jürgen; Book, Ronald V.; Squier, Craig C. On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) pp. 47-52. http://gdmltest.u-ga.fr/item/ITA_1984__18_1_47_0/

1. A. M. Ballantyne and D. S. Lankford, New Decision Algorithms for Finitely Presented Commutative Semigroups, Computation and Mathematics with Applications, Vol. 7, 1981, pp. 159-165. | MR 619758 | Zbl 0449.20059

2. R. Book, Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sc., Vol. 24, 1983, pp. 301-312. | MR 716826 | Zbl 0525.68015

3. Y. Cochet, Church-Rosser Congruences on Free Semigroups, Colloquia Math. Soc. Janos Bolyai, Vol. 20, 1976, pp. 51-60. | MR 541109 | Zbl 0408.20054

4. Y. Cochet and M. Nivat, Une generalisation des ensembles de Dyck, Israël J. Math., Vol. 9, 1971, pp. 389-395. | MR 276021 | Zbl 0215.56005

5. S. Eilenberg and M. P. Schutzenberger, Rational Sets in Commutative Monoids, J. Algebra, Vol. 13, 1969, pp. 173-191. | MR 246985 | Zbl 0206.02703

6. G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, J. Assoc. Comput. Mach., Vol. 27, 1980, pp. 797-821. | MR 594700 | Zbl 0458.68007

7. C. Ó'Dúnlaing, Finite and Infinite Regular Thue Systems, Ph. D. dissertation, University of California at Santa Barbara, 1981.

8. L. Redei, The Theory of Finitely Generated Commutative Semigroups, Pergamon Press, 1965. | MR 188322 | Zbl 0133.27904

9. J. Sakarovitch, Sur les monoides commutatifs, Séminaire d'Informatique Theorique, Institut de Programmation, n° 1, 1978, pp. 78-01.