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.
@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. S. I. Adjan, The Burnside Problem and Identities in Groups; Springer, Berlin-Heidelberg-New York, 1979. | MR | Zbl

2. J. Avenhaus, R. V. Book and C. Squier, 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

3. J. Avenhaus, K. Madlener and F. Otto, Groups presented by Finite Two-Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 297, 1986, pp. 427-443. | MR | Zbl

4. J. Berstel, Congruences plus que parfaites et langages algébriques, Séminaire d'Informatique Théorique, Institut de Programmation, 1976-1977, pp. 123-147.

5. R. V Book, Confluent and Other Types of Thue Systems, J. Assoc. Comput. Mach., Vol. 29, 1982, pp. 171-182. | MR | Zbl

6. R. V Book, Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sci., Vol. 24, 1983, pp. 301-312. | MR | Zbl

7. R. V Book, 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. R. V Book, 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. R. V. Book, M. Jantzen and C. Wrathall, Monadic Thue Systems, Theoret. Comput. Sci., Vol. 19, 1982, pp. 231-251. | MR | Zbl

10. Y. Cochet, Church-Rosser Congruences on Free Semigroups, Coll. Math. Soc. Janos Bolyai, Algebraic Theory of Semigroups, Vol. 20, 1976, pp. 51-60. | MR | Zbl

11. Y. Cochet and M. Nivat, Une generalization des ensembles de Dyck, Israel J. Math., Vol. 9, 1971, pp. 389-395. | MR | Zbl

12. V. Diekert, Some Remarks on Presentations by Finite Church-Rosser Thue Systems, private communication.

13. R. H. Gilman, 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. M. Greendlinger, Problem of Conjugacy and Coincidence with the Anticenter in Group Theory, Siberian Math. J., Vol. 7, 1966, pp. 626-640. | MR

15. R. H Haring-Smith, Groups and Simple Languages, Trans. Amer. Math. Soc., Vol. 279, 1983, pp. 337-356. | MR | Zbl

16. M. Jantzen, Thue Systems and the Church-Rosser Property, Proceedings of MFCS 84, Lect. Notes Comput. Sci., Vol. 176, 1984, pp. 80-95. | MR | Zbl

17. M. Jantzen, Thue Congruences and Complete String-Rewriting Systems, Habilitationsschrift, Univ. Hamburg, 1986.

18. D. E. Muller and P. E. Schupp, Groups, the Theory of Ends, and Context-Free Languages, J. Comp. System Sci., Vol. 26, 1983, pp. 295-310. | MR | Zbl

19. P. Narendran and C. O'Dunlaing, Cancellativity in Finitely Presented Semigroups, submitted for publication. | Zbl

20. F. Otto, Conjugacy in Monoids with a Special Church-Rosser Presentation is Decidable, Semigroup Forum, Vol. 29, 1984, pp. 223-240. | MR | Zbl

21. F. Otto, Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group, Theoret. Comput. Sci., Vol. 32, 1984, pp. 249-260. | MR | Zbl

22. F. Otto, Sorne Undecidability Results for Non-Monadic Church-Rosser Thue Systems, Theoret. Comput. Sci., Vol. 33, 1984, pp. 261-278. | MR | Zbl

23. F. Otto, Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 291, 1985, pp. 629-637. | MR | Zbl

24. F. Otto, On Deciding Whether a Monoid is a Free Monoid or Is a Group, Acta Inf., Vol. 23, 1986, pp. 99-110. | MR | Zbl