On expressing commutativity by finite Church-Rosser presentations : a note on commutative monoids
- 1 January 1984
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 18 (1) , 47-52
- https://doi.org/10.1051/ita/1984180100471
Abstract
RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applicationsKeywords
This publication has 5 references indexed in Scilit:
- Decidable sentences of Church-Rosser congruencesTheoretical Computer Science, 1983
- New decision algorithms for finitely presented commutative semigroupsComputers & Mathematics with Applications, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Une Generalisation des Ensembles de DyckIsrael Journal of Mathematics, 1971
- Rational sets in commutative monoidsJournal of Algebra, 1969