Liste des citations dans Numdam pour : 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), p. 47-52 / Harvested from Numdam

Madlener, Klaus ; Otto, Friedrich

Commutativity in groups presented by finite Church-Rosser Thue systems
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 93-111 / Harvested from Numdam