{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T04:11:29Z","timestamp":1648613489172},"reference-count":12,"publisher":"EDP Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1051\/ita\/2015008","type":"journal-article","created":{"date-parts":[[2015,11,26]],"date-time":"2015-11-26T07:38:39Z","timestamp":1448523519000},"page":"233-254","source":"Crossref","is-referenced-by-count":0,"title":["Reducing the gradedness problem of string rewriting systems to a termination problem"],"prefix":"10.1051","volume":"49","author":[{"given":"Itamar","family":"Stein","sequence":"first","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2015,11,26]]},"reference":[{"key":"R1","unstructured":"S.I. Adjan, Defining Relations and Algorithmic Problems for Groups and Semigroups.Proc. of the Steklov Institute of Mathematics, No. 85 (1966). Translated from the Russian by M. Greendlinger. American Mathematical Society, Providence, R.I. (1966)."},{"key":"R2","unstructured":"Adjan S.I. and Oganesjan G.U., On the word and divisibility problems in semigroups with a single defining relation.Izvestiya: Mathematics12(1978) 207\u2013212."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"F. Baader and T. Nipkow, Term Rewriting and All That. Cambridge University Press, Cambridge (1998).","DOI":"10.1017\/CBO9781139172752"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"R.V. Book and F. Otto, String-rewriting systems.Texts and Monogr. Comput. Sci.Springer-Verlag, New York (1993).","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"R5","unstructured":"J. Giesl, P. Schneider-Kamp and R. Thiemann, AProVE 1.2: automatic termination proofs in the dependency pair framework. InProc. of Automated reasoning. Vol. 4130 ofLect. Notes Comput. Sci.Springer, Berlin (2006) 281\u2013286."},{"key":"R6","unstructured":"Katsura M. and Kobayashi Y., Undecidable properties of monoids with word problem solvable in linear time,Theoret. Comput. Sci.290(2003) 1301\u20131316."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"S.W. Margolis, J. Meakin and Z. \u0160uni\u1e31, Distortion functions and the membership problem for submonoids of groups and monoids. InGeometric methods in group theory. Vol. 372 ofContemp. Math. Amer. Math. Soc.Providence, RI (2005) 109\u2013129.","DOI":"10.1090\/conm\/372\/06879"},{"key":"R8","unstructured":"Raoult J.-C., Finiteness results on rewriting systems.RAIRO Inform. Th\u00e9or.15(1981) 373\u2013391."},{"key":"R9","unstructured":"Shikishima-Tsuji K., Katsura M. and Kobayashi Y., On termination of confluent one-rule string-rewriting systems.Inform. Process. Lett.61(1997) 91\u201396."},{"key":"R10","doi-asserted-by":"crossref","unstructured":"C. Wrathall, Confluence of one-rule Thue systems. InWord equations and related topics(T\u00fcbingen, 1990). Vol. 572 ofLect. Notes Comput. Sci.Springer, Berlin (1992) 237\u2013246.","DOI":"10.1007\/3-540-55124-7_11"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"Zantema H., Termination of string rewriting proved automatically,J. Automat. Reason.34(2005) 105\u2013139.","DOI":"10.1007\/s10817-005-6545-0"},{"key":"R12","unstructured":"Zantema H. and Geser A., A complete characterization of termination 0p1q\u2192 1r0s.Lect. Notes Comput. Sci.914(1995) 41\u201355."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2015008\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T23:41:58Z","timestamp":1567381318000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2015008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":12,"journal-issue":{"issue":"3"},"alternative-id":["ita150008"],"URL":"https:\/\/doi.org\/10.1051\/ita\/2015008","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7]]}}}