@article{ITA_1988__22_1_93_0, author = {Madlener, Klaus and Otto, Friedrich}, title = {Commutativity in groups presented by finite {Church-Rosser} {Thue} systems}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {93--111}, publisher = {EDP-Sciences}, volume = {22}, number = {1}, year = {1988}, mrnumber = {945926}, zbl = {0649.20030}, language = {en}, url = {http://www.numdam.org/item/ITA_1988__22_1_93_0/} }
TY - JOUR AU - Madlener, Klaus AU - Otto, Friedrich TI - Commutativity in groups presented by finite Church-Rosser Thue systems JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1988 SP - 93 EP - 111 VL - 22 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_1_93_0/ LA - en ID - ITA_1988__22_1_93_0 ER -
%0 Journal Article %A Madlener, Klaus %A Otto, Friedrich %T Commutativity in groups presented by finite Church-Rosser Thue systems %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1988 %P 93-111 %V 22 %N 1 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1988__22_1_93_0/ %G en %F ITA_1988__22_1_93_0
Madlener, Klaus; Otto, Friedrich. Commutativity in groups presented by finite Church-Rosser Thue systems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 1, pp. 93-111. http://www.numdam.org/item/ITA_1988__22_1_93_0/
1. The Burnside Problem and Identities in Groups; Springer, Berlin-Heidelberg-New York, 1979. | MR | Zbl
,2. On Expressing Commutativity by Finite Church-Rosser Presentations: a Note on Commutative Monoids, R.A.I.R.O. Inf. théorique, Vol. 18, 1984, pp. 47-52. | Numdam | MR | Zbl
, and ,3. Groups presented by Finite Two-Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 297, 1986, pp. 427-443. | MR | Zbl
, and ,4. Congruences plus que parfaites et langages algébriques, Séminaire d'Informatique Théorique, Institut de Programmation, 1976-1977, pp. 123-147.
,5. Confluent and Other Types of Thue Systems, J. Assoc. Comput. Mach., Vol. 29, 1982, pp. 171-182. | MR | Zbl
,6. Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sci., Vol. 24, 1983, pp. 301-312. | MR | Zbl
,7. Thue Systems and the Church-Rosser Property: Replacement Systems, Specification of Formal Languages and Presentations of Monoids, in L. CUMMINGS Ed.; Combinatorics on Words: Progress and Perspectives, Academic Press, 1983, pp. 1-38. | MR | Zbl
,8. Thue Systems as Rewriting Systems, in J. P. JOUANNAUD Ed., Rewriting Techniques and Applications, Lect. Notes in Comput. Sci., Vol. 202, 1985, pp. 63-94. | MR | Zbl
,9. Monadic Thue Systems, Theoret. Comput. Sci., Vol. 19, 1982, pp. 231-251. | MR | Zbl
, and ,10. Church-Rosser Congruences on Free Semigroups, Coll. Math. Soc. Janos Bolyai, Algebraic Theory of Semigroups, Vol. 20, 1976, pp. 51-60. | MR | Zbl
,11. Une generalization des ensembles de Dyck, Israel J. Math., Vol. 9, 1971, pp. 389-395. | MR | Zbl
and ,12. Some Remarks on Presentations by Finite Church-Rosser Thue Systems, private communication.
,13. Computations with Rational Subsets of Confluent Groups, Proceedings of EUROSAM 84, Lect. Notes in Comput. Sci., Vol. 174, 1984, pp. 207-212. | MR | Zbl
,14. Problem of Conjugacy and Coincidence with the Anticenter in Group Theory, Siberian Math. J., Vol. 7, 1966, pp. 626-640. | MR
,15. Groups and Simple Languages, Trans. Amer. Math. Soc., Vol. 279, 1983, pp. 337-356. | MR | Zbl
,16. Thue Systems and the Church-Rosser Property, Proceedings of MFCS 84, Lect. Notes Comput. Sci., Vol. 176, 1984, pp. 80-95. | MR | Zbl
,17. Thue Congruences and Complete String-Rewriting Systems, Habilitationsschrift, Univ. Hamburg, 1986.
,18. Groups, the Theory of Ends, and Context-Free Languages, J. Comp. System Sci., Vol. 26, 1983, pp. 295-310. | MR | Zbl
and ,19. Cancellativity in Finitely Presented Semigroups, submitted for publication. | Zbl
and ,20. Conjugacy in Monoids with a Special Church-Rosser Presentation is Decidable, Semigroup Forum, Vol. 29, 1984, pp. 223-240. | MR | Zbl
,21. Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group, Theoret. Comput. Sci., Vol. 32, 1984, pp. 249-260. | MR | Zbl
,22. Sorne Undecidability Results for Non-Monadic Church-Rosser Thue Systems, Theoret. Comput. Sci., Vol. 33, 1984, pp. 261-278. | MR | Zbl
,23. Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 291, 1985, pp. 629-637. | MR | Zbl
,24. On Deciding Whether a Monoid is a Free Monoid or Is a Group, Acta Inf., Vol. 23, 1986, pp. 99-110. | MR | Zbl
,