{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,5]],"date-time":"2023-02-05T17:28:09Z","timestamp":1675618089123},"reference-count":26,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":10790,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1984]]},"DOI":"10.1016\/0304-3975(84)90044-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:48:55Z","timestamp":1027655335000},"page":"249-260","source":"Crossref","is-referenced-by-count":12,"title":["Finite complete rewriting systems for the Jantzen monoid and the greendlinger group"],"prefix":"10.1016","volume":"32","author":[{"given":"Friedrich","family":"Otto","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(84)90044-6_BIB1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00263767","article-title":"Subrekursive Komplexit\u00e4t bei Gruppen, I. Gruppen mit vorgechriebener Komplexit\u00e4t","volume":"9","author":"Avenhaus","year":"1977","journal-title":"Acta Inform."},{"key":"10.1016\/0304-3975(84)90044-6_BIB2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1051\/ita\/1984180100471","article-title":"On expressing commutativity by finite Church-Rosser presentations: A note on commutative monoids","volume":"18","author":"Avenhaus","year":"1984","journal-title":"RAIRO Inform. Theor."},{"key":"10.1016\/0304-3975(84)90044-6_BIB3","series-title":"Dissertation","article-title":"Zur Darstellung von Monoiden durch konfluente Regelsysteme","author":"Bauer","year":"1981"},{"key":"10.1016\/0304-3975(84)90044-6_BIB4","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(81)90078-5","article-title":"Testing for the Church-Rosser property","volume":"16","author":"Book","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(84)90044-6_BIB5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/322290.322301","article-title":"Confluent and other types of Thue systems","volume":"29","author":"Book","year":"1982","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0304-3975(84)90044-6_BIB6","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0304-3975(82)90072-X","article-title":"When is a monoid a group? The Church-Rosser case is tractable","volume":"18","author":"Book","year":"1982","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(84)90044-6_BIB7","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/BFb0000070","article-title":"The power of the Church-Rosser property in string rewriting systems","author":"Book","year":"1982","journal-title":"Proc. 6th Conf. on Automated Deduction"},{"key":"10.1016\/0304-3975(84)90044-6_BIB8","series-title":"Computer Algebra (Symbolic and Algebraic Computation)","article-title":"Algebraic simplification","volume":"4","author":"Buchberger","year":"1982"},{"key":"10.1016\/0304-3975(84)90044-6_BIB9","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0304-3975(82)90026-3","article-title":"Orderings for term-rewriting systems","volume":"17","author":"Dershowitz","year":"1982","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(84)90044-6_BIB10","series-title":"Aerospace Rept. No. ATR-83(8478)-2","article-title":"Applications of the Knuth-Bendix completion procedure","author":"Dershowitz","year":"1983"},{"key":"10.1016\/0304-3975(84)90044-6_BIB11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/cpa.3160130108","article-title":"Dehn's algorithm for the word problem","volume":"13","author":"Greendlinger","year":"1960","journal-title":"Comm. Pure Appl. Math."},{"key":"10.1016\/0304-3975(84)90044-6_BIB12","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","article-title":"Confluent reductions: Abstract properties and applications to term rewriting systems","volume":"27","author":"Huet","year":"1980","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0304-3975(84)90044-6_BIB13","series-title":"Lab. Rept. No. 283","article-title":"On the uniform halting problem for term rewriting systems","author":"Huet","year":"1978"},{"key":"10.1016\/0304-3975(84)90044-6_BIB14","series-title":"Formal Language Theory, Perspectives and Open Problems","article-title":"Equations and rewrite rules\u2014a survey","author":"Huet","year":"1980"},{"key":"10.1016\/0304-3975(84)90044-6_BIB15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0304-3975(81)90031-1","article-title":"On a special monoid with a single defining relation","volume":"16","author":"Jantzen","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(84)90044-6_BIB16","series-title":"Proc. F\u00eate des Mots","first-page":"60","article-title":"Semi-Thue systems and generalised Church-Rosser properties","author":"Jantzen","year":"1982"},{"key":"10.1016\/0304-3975(84)90044-6_BIB17","article-title":"Unendliche Reduktionssysteme","author":"Kemmerich","year":"1983","journal-title":"Dissertation"},{"key":"10.1016\/0304-3975(84)90044-6_BIB18","series-title":"Computational Problems in Abstract Algebra","article-title":"Simple word problems in universal algebra","author":"Knuth","year":"1970"},{"key":"10.1016\/0304-3975(84)90044-6_BIB19","series-title":"Semigroups and Combinatorial Applications","author":"Lallement","year":"1979"},{"key":"10.1016\/0304-3975(84)90044-6_BIB20","article-title":"Analysis of data structures with non-distinct keys","author":"Lescanne","year":"1981"},{"key":"10.1016\/0304-3975(84)90044-6_BIB21","series-title":"Combinatorial Group Theory","author":"Lyndon","year":"1977"},{"key":"10.1016\/0304-3975(84)90044-6_BIB22","series-title":"Combinatorial Group Theory","author":"Magnus","year":"1976"},{"issue":"1, 2","key":"10.1016\/0304-3975(84)90044-6_BIB23","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0304-3975(84)90133-6","article-title":"The undecidability of the preperfectness of Thue systems","volume":"31","author":"Narendran","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(84)90044-6_BIB24","article-title":"Congruences parfaites et quasi-parfaites","volume":"7","author":"Nivat","year":"1971","journal-title":"S\u00e9minaire Dubreuil"},{"issue":"3","key":"10.1016\/0304-3975(84)90044-6_BIB25","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(84)90003-3","article-title":"Remarks on an example of Jantzen","volume":"29","author":"Potts","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(84)90044-6_BIB26","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0304-3975(82)90007-X","article-title":"A note on representations of a certain monoid","volume":"17","author":"Squier","year":"1982","journal-title":"Theoret. Comput. Sci."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397584900446?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397584900446?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:51:18Z","timestamp":1555127478000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397584900446"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984]]}},"alternative-id":["0304397584900446"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(84)90044-6","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1984]]}}}