Voir la notice de l'article provenant de la source Numdam
@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},
pages = {47--52},
publisher = {EDP-Sciences},
volume = {18},
number = {1},
year = {1984},
mrnumber = {750450},
zbl = {0542.20038},
language = {en},
url = {http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1984 SP - 47 EP - 52 VL - 18 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1984 %P 47-52 %V 18 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984) no. 1, pp. 47-52. http://geodesic.mathdoc.fr/item/ITA_1984__18_1_47_0/