{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T00:15:59Z","timestamp":1770596159462,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540172208","type":"print"},{"value":"9783540474210","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17220-3_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:14:20Z","timestamp":1330197260000},"page":"133-144","source":"Crossref","is-referenced-by-count":6,"title":["Groups presented by certain classes of finite length-reducing string-rewriting systems"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Madlener","sequence":"first","affiliation":[]},{"given":"Friedrich","family":"Otto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"12_CR1","first-page":"695","volume":"11","author":"A. W. Anissimov","year":"1975","unstructured":"A.W. Anissimov, F.D. Seifert; Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen; Elektr. Informationsverarbeitung und Kybernetik EIK 11 (1975), 695\u2013702.","journal-title":"Elektr. Informationsverarbeitung und Kybernetik EIK"},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0002-9947-1986-0854076-5","volume":"297","author":"J. Avenhaus","year":"1986","unstructured":"J. Avenhaus, K. Madlener, F. Otto; Groups presented by finite two-monadic Church-Rosser Thue systems; Trans. Amer. Math. Soc. 297 (1986), 427\u2013443.","journal-title":"Trans. Amer. Math. Soc."},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/322290.322301","volume":"29","author":"R. V. Book","year":"1982","unstructured":"R.V. Book; Confluent and other types of Thue systems; Journal Assoc. Comput. Mach. 29 (1982), 171\u2013182.","journal-title":"Journal Assoc. Comput. Mach."},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-15976-2_3","volume":"202","author":"R. V. Book","year":"1985","unstructured":"R.V. Book; Thue systems as rewriting systems, in: J. P. Jouannaud (ed.), Rewriting Techniques and Applications; Lect. Notes Comp. Sci. 202 (1985), 63\u201394.","journal-title":"Lect. Notes Comp. Sci."},{"key":"12_CR5","unstructured":"H.Buecken; Reduction systems and small cancellation theory; Proc. 4th Workshop on Automated Deduction, 1979, 53\u201359."},{"key":"12_CR6","first-page":"51","volume":"20","author":"Y. Cochet","year":"1976","unstructured":"Y. Cochet; Church-Rosser congruences on free semigroups; Coll. Math. Soc. Janos Bolyai: Algebraic Theory of Semigroups 20 (1976), 51\u201360.","journal-title":"Coll. Math. Soc. Janos Bolyai: Algebraic Theory of Semigroups"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/BFb0039612","volume":"247","author":"V. Diekert","year":"1987","unstructured":"V. Diekert; Some remarks on presentations by finite Church Rosser Thue systems; Proceedings STACS 87, Lect. Notes Comp. Sci. 247 (1987), 272\u2013285.","journal-title":"Lect. Notes Comp. Sci."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01388581","volume":"81","author":"M. J. Dunwoody","year":"1985","unstructured":"M.J. Dunwoody; The accessibility of finitely presented groups; Inventiones Mathematicae 81 (1985), 449\u2013457.","journal-title":"Inventiones Mathematicae"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BFb0032843","volume":"174","author":"R. H. Gilman","year":"1984","unstructured":"R.H. Gilman; Computations with rational subsets of confluent groups; Proceedings of EUROSAM 84, Lect. Notes Comp. Sci. 174 (1984), 207\u2013212.","journal-title":"Lect. Notes Comp. Sci."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1090\/S0002-9947-1983-0704619-4","volume":"279","author":"R. H. Haring-Smith","year":"1983","unstructured":"R.H. Haring-Smith; Groups and simple languages; Trans. Amer. Math. Soc. 279 (1983), 337\u2013356.","journal-title":"Trans. Amer. Math. Soc."},{"key":"12_CR11","volume-title":"Combinatorial Group Theory","author":"R. C. Lyndon","year":"1977","unstructured":"R.C. Lyndon, P.E. Schupp; Combinatorial Group Theory, Springer-Verlag: Berlin, Heidelberg, New York, 1977."},{"key":"12_CR12","unstructured":"K. Madlener, F. Otto; Commutativity in groups presented by finite Church-Rosser Thue systems, submitted for publication."},{"key":"12_CR13","volume-title":"Combinatorial Group Theory","author":"W. Magnus","year":"1976","unstructured":"W. Magnus, A. Karrass, D. Solitar; Combinatorial Group Theory; 2nd revised ed., Dover Publ., New York, 1976.","edition":"2nd revised ed."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D. E. Muller","year":"1983","unstructured":"D.E. Muller, P. E. Schupp; Groups, the theory of ends, and context-free languages; Journal Comp. System Sci. 26 (1983), 295\u2013310.","journal-title":"Journal Comp. System Sci."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"M. Nivat; On some families of languages related to the Dyck languages; 2nd ACM Symp. on Theory of Comput. (1970), 221\u2013225.","DOI":"10.1145\/800161.805168"},{"key":"12_CR16","unstructured":"J.M. Autebert, L. Boasson, G. Senizergues; Groups and NTS languages; submitted for publication."},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"421","DOI":"10.4310\/jdg\/1214428658","volume":"2","author":"J. A. Wolf","year":"1968","unstructured":"J.A. Wolf; Growth of finitely generated solvable groups and curvature of Riemannian manifolds; Journal Differential Geometry 2 (1968), 421\u2013446.","journal-title":"Journal Differential Geometry"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17220-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:10:38Z","timestamp":1619557838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17220-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540172208","9783540474210"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-17220-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}