{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:04Z","timestamp":1725663484653},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510826"},{"type":"electronic","value":"9783540461500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51082-6_90","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:38:49Z","timestamp":1330202329000},"page":"341-349","source":"Crossref","is-referenced-by-count":0,"title":["It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free"],"prefix":"10.1007","author":[{"given":"Paliath","family":"Narendran","sequence":"first","affiliation":[]},{"given":"Friedrich","family":"Otto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0022-0000(87)90015-8","volume":"35","author":"J.M. Auteberg","year":"1987","unstructured":"J.M. Auteberg, L. Boasson, G. Senizergues; Groups and NTS languages; J. Comp. System Sci. 35 (1987), 243\u2013267.","journal-title":"J. Comp. System Sci."},{"key":"26_CR2","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; J. Assoc. Comput. Mach. 29 (1982), 171\u2013182.","journal-title":"J. Assoc. Comput. Mach."},{"key":"26_CR3","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. Science 202 (1985), 63\u201394.","journal-title":"Lect. Notes Comp. Science"},{"key":"26_CR4","unstructured":"V. Diekert; Some properties of weight-reducing presentations; Technical Rep. TUM-18710; Institut f\u00fcr Informatik, Techn. Universit\u00e4t M\u00fcnchen, 1987."},{"key":"26_CR5","doi-asserted-by":"publisher","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":"26_CR6","doi-asserted-by":"publisher","first-page":"1052","DOI":"10.1137\/0214073","volume":"14","author":"D. Kapur","year":"1985","unstructured":"D. Kapur, P. Narendran; The Knuth-Bendix completion procedure and Thue systems; SIAM J. Comput. 14 (1985), 1052\u20131072.","journal-title":"SIAM J. Comput."},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/0021-8693(74)90146-X","volume":"32","author":"G. Lallement","year":"1974","unstructured":"G. Lallement; On monoids presented by a single relation; J. Algebra 32 (1974), 370\u2013388.","journal-title":"J. Algebra"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"K. Madlener, F. Otto; On groups having finite monadic Church-Rosser presentations; in: H. J\u00fcrgensen, G. Lallement, H. Weinert (eds.), Semigroups, Theory and Applications, Lecture Notes in Mathematics 1320, Springer Verlag 1988, pp. 218\u2013234.","DOI":"10.1007\/BFb0083435"},{"key":"26_CR9","first-page":"953","volume":"77","author":"A. Markov","year":"1951","unstructured":"A. Markov; Impossibility of algorithms for recognizing some properties of associative systems; Dokl. Akad. Nauk SSSR 77 (1951), 953\u2013956.","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.2307\/2266280","volume":"17","author":"A. Mostowski","year":"1952","unstructured":"A. Mostowski; Review of [9]; J. Symbolic Logic 17 (1952), 151\u2013152.","journal-title":"J. Symbolic Logic"},{"key":"26_CR11","doi-asserted-by":"publisher","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; J. Comp. System Sci. 26 (1983), 295\u2013310.","journal-title":"J. Comp. System Sci."},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1090\/S0002-9947-1985-0800255-1","volume":"291","author":"F. Otto","year":"1985","unstructured":"F. Otto; Elements of finite order for finite monadic Church-Rosser Thue systems; Transactions Amer. Math. Soc. 291 (1985), 629\u2013637.","journal-title":"Transactions Amer. Math. Soc."},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00268077","volume":"23","author":"F. Otto","year":"1986","unstructured":"F. Otto; On deciding whether a monoid is a free monoid or is a group; Acta Informatica 23 (1986), 99\u2013110.","journal-title":"Acta Informatica"},{"key":"26_CR14","unstructured":"L.X. Zhang; A polynomial-time algorithm to decide a monoid presented by a regular monadic Church-Rosser Thue system to be a group; Theor. Comp. Sci., to appear."}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51082-6_90.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:00:39Z","timestamp":1619571639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51082-6_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510826","9783540461500"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-51082-6_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}