@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. Informatique th\'eorique}, pages = {47--52}, publisher = {EDP-Sciences}, volume = {18}, number = {1}, year = {1984}, mrnumber = {750450}, zbl = {0542.20038}, language = {en}, url = {http://archive.numdam.org/item/ITA_1984__18_1_47_0/} }
TY - JOUR AU - Avenhaus, Jürgen AU - Book, Ronald V. AU - Squier, Craig C. TI - On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids JO - RAIRO. Informatique théorique PY - 1984 SP - 47 EP - 52 VL - 18 IS - 1 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1984__18_1_47_0/ LA - en ID - ITA_1984__18_1_47_0 ER -
%0 Journal Article %A Avenhaus, Jürgen %A Book, Ronald V. %A Squier, Craig C. %T On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids %J RAIRO. Informatique théorique %D 1984 %P 47-52 %V 18 %N 1 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1984__18_1_47_0/ %G en %F 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. Informatique théorique, Volume 18 (1984) no. 1, pp. 47-52. http://archive.numdam.org/item/ITA_1984__18_1_47_0/
1. New Decision Algorithms for Finitely Presented Commutative Semigroups, Computation and Mathematics with Applications, Vol. 7, 1981, pp. 159-165. | MR | Zbl
and ,2. Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sc., Vol. 24, 1983, pp. 301-312. | MR | Zbl
,3. Church-Rosser Congruences on Free Semigroups, Colloquia Math. Soc. Janos Bolyai, Vol. 20, 1976, pp. 51-60. | MR | Zbl
,4. Une generalisation des ensembles de Dyck, Israël J. Math., Vol. 9, 1971, pp. 389-395. | MR | Zbl
and ,5. Rational Sets in Commutative Monoids, J. Algebra, Vol. 13, 1969, pp. 173-191. | MR | Zbl
and ,6. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, J. Assoc. Comput. Mach., Vol. 27, 1980, pp. 797-821. | MR | Zbl
,7. Finite and Infinite Regular Thue Systems, Ph. D. dissertation, University of California at Santa Barbara, 1981.
,8. The Theory of Finitely Generated Commutative Semigroups, Pergamon Press, 1965. | MR | Zbl
,9. Sur les monoides commutatifs, Séminaire d'Informatique Theorique, Institut de Programmation, n° 1, 1978, pp. 78-01.
,