{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T00:56:21Z","timestamp":1770598581580,"version":"3.49.0"},"reference-count":24,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1988]]},"DOI":"10.1051\/ita\/1988220100931","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T10:04:30Z","timestamp":1486029870000},"page":"93-111","source":"Crossref","is-referenced-by-count":6,"title":["Commutativity in groups presented by finite Church-Rosser Thue systems"],"prefix":"10.1051","volume":"22","author":[{"given":"Klaus","family":"Madlener","sequence":"first","affiliation":[]},{"given":"Friedrich","family":"Otto","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. ADJAN S. I., The Burnside Problem and Identities in Groups; Springer, Berlin-Heidelberg-New York, 1979.5375800417.20001","DOI":"10.1007\/978-3-642-66932-3"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. AVENHAUS J., BOOK R. V. and SQUIER C., On Expressing Commutativity by Finite Church-Rosser Presentations: a Note on Commutative Monoids, R.A.I.R.O. Inf. th\u00e9orique, Vol. 18, 1984, pp. 47-52.921997504500542.20038","DOI":"10.1051\/ita\/1984180100471"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. AVENHAUS J., MADLENER K. and OTTO F., Groups presented by Finite Two-Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 297, 1986, pp. 427-443.8540760604.20034","DOI":"10.2307\/2000531"},{"key":"R4","unstructured":"4. BERSTEL J., Congruences plus que parfaites et langages alg\u00e9briques, S\u00e9minaire d'Informatique Th\u00e9orique, Institut de Programmation, 1976-1977, pp. 123-147."},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. BOOK R. V, Confluent and Other Types of Thue Systems, J. Assoc. Comput. Mach., Vol. 29, 1982, pp. 171-182.6626170478.68032","DOI":"10.1145\/322290.322301"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. BOOK R. V, Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sci., Vol. 24, 1983, pp. 301-312.7168260525.68015","DOI":"10.1016\/0304-3975(83)90005-1"},{"key":"R7","unstructured":"7. BOOK R. V, 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.9101270563.68062"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. BOOK R. V, 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.8260560587.03026","DOI":"10.1007\/3-540-15976-2_3"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. BOOK R. V., JANTZEN M. and WRATHALL C., Monadic Thue Systems, Theoret. Comput. Sci., Vol. 19, 1982, pp. 231-251.6718690488.03020","DOI":"10.1016\/0304-3975(82)90036-6"},{"key":"R10","unstructured":"10. COCHET Y., Church-Rosser Congruences on Free Semigroups, Coll. Math. Soc. Janos Bolyai, Algebraic Theory of Semigroups, Vol. 20, 1976, pp. 51-60.5411090408.20054"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. COCHET Y. and NIVAT M., Une generalization des ensembles de Dyck, Israel J. Math., Vol. 9, 1971, pp. 389-395.2760210215.56005","DOI":"10.1007\/BF02771689"},{"key":"R12","unstructured":"12. DIEKERT V., Some Remarks on Presentations by Finite Church-Rosser Thue Systems, private communication.0636.20023"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"13. GILMAN R. H., Computations with Rational Subsets of Confluent Groups, Proceedings of EUROSAM 84, Lect. Notes in Comput. Sci., Vol. 174, 1984, pp. 207-212.7791270549.68025","DOI":"10.1007\/BFb0032843"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"14. GREENDLINGER M., Problem of Conjugacy and Coincidence with the Anticenter in Group Theory, Siberian Math. J., Vol. 7, 1966, pp. 626-640.199257","DOI":"10.1007\/BF00973260"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"15. HARING-SMITH R. H, Groups and Simple Languages, Trans. Amer. Math. Soc., Vol. 279, 1983, pp. 337-356.7046190518.20030","DOI":"10.2307\/1999388"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"16. JANTZEN M., Thue Systems and the Church-Rosser Property, Proceedings of MFCS 84, Lect. Notes Comput. Sci., Vol. 176, 1984, pp. 80-95.7834390553.03025","DOI":"10.1007\/BFb0030291"},{"key":"R17","unstructured":"17. JANTZEN M., Thue Congruences and Complete String-Rewriting Systems, Habilitationsschrift, Univ. Hamburg, 1986.1022.68565"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"18. MULLER D. E. and SCHUPP P. E., Groups, the Theory of Ends, and Context-Free Languages, J. Comp. System Sci., Vol. 26, 1983, pp. 295-310.7102500537.20011","DOI":"10.1016\/0022-0000(83)90003-X"},{"key":"R19","unstructured":"19. NARENDRAN P. and O'DUNLAING C., Cancellativity in Finitely Presented Semigroups, submitted for publication.0682.20046"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"20. OTTO F., Conjugacy in Monoids with a Special Church-Rosser Presentation is Decidable, Semigroup Forum, Vol. 29, 1984, pp. 223-240.1346847421350551.20044","DOI":"10.1007\/BF02573327"},{"key":"R21","doi-asserted-by":"crossref","unstructured":"21. OTTO F., Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group, Theoret. Comput. Sci., Vol. 32, 1984, pp. 249-260.7613450555.20036","DOI":"10.1016\/0304-3975(84)90044-6"},{"key":"R22","doi-asserted-by":"crossref","unstructured":"22. OTTO F., Sorne Undecidability Results for Non-Monadic Church-Rosser Thue Systems, Theoret. Comput. Sci., Vol. 33, 1984, pp. 261-278.7673940563.03019","DOI":"10.1016\/0304-3975(84)90090-2"},{"key":"R23","doi-asserted-by":"crossref","unstructured":"23. OTTO F., Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 291, 1985, pp. 629-637.8002550583.20054","DOI":"10.2307\/2000102"},{"key":"R24","doi-asserted-by":"crossref","unstructured":"24. OTTO F., On Deciding Whether a Monoid is a Free Monoid or Is a Group, Acta Inf., Vol. 23, 1986, pp. 99-110.8456250592.20059","DOI":"10.1007\/BF00268077"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1988220100931\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T01:58:16Z","timestamp":1568771896000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1988220100931"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"references-count":24,"journal-issue":{"issue":"1"},"alternative-id":["ita1988220100931"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1988220100931","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}