When is a monoid a group? the Church-Rosser case is tractable
- 1 June 1982
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 18 (3) , 325-331
- https://doi.org/10.1016/0304-3975(82)90072-x
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Monadic Thue systemsTheoretical Computer Science, 1982
- Confluent and Other Types of Thue SystemsJournal of the ACM, 1982
- Testing for the Church-Rosser propertyTheoretical Computer Science, 1981
- On a special monoid with a single defining relationTheoretical Computer Science, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Complete problems for deterministic polynomial timeTheoretical Computer Science, 1976
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Une Generalisation des Ensembles de DyckIsrael Journal of Mathematics, 1971