{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:12Z","timestamp":1725664512537},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540593409"},{"type":"electronic","value":"9783540492375"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59340-3_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:14:38Z","timestamp":1330276478000},"page":"27-38","source":"Crossref","is-referenced-by-count":6,"title":["The word problem for Thue rewriting systems"],"prefix":"10.1007","author":[{"given":"Gerard","family":"Lallement","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"3_CR1","first-page":"1","volume":"85","author":"S.I. Adyan","year":"1966","unstructured":"S.I. Adyan Defining relations and algorithmic problems for groups and semigroups, Tr. Mat. Inst. Steklov Akad. Nauk SSSR, 85 (1966), pp. 1\u201390 (Russian).","journal-title":"Tr. Mat. Inst. Steklov Akad. Nauk SSSR"},{"issue":"\u21346","key":"3_CR2","first-page":"611","volume":"15","author":"S.I. Adyan","year":"1976","unstructured":"S.I. Adyan Transformations of words in a semigroup presented by a system of defining relations Algebra i Logika, 15 n\u2134 6 (1976), pp. 611\u2013621 (Russian)","journal-title":"Algebra i Logika"},{"issue":"\u21342","key":"3_CR3","first-page":"219","volume":"42","author":"S.I. Adjan","year":"1978","unstructured":"S.I. Adjan and G.U. Oganesyan On the word and divisibility problems in semigroups with a single defining relation Izv. Akad. Nauk SSSR, Ser. Mat., 42 n\u2134 2 (1978), pp. 219\u2013225 (Russian)","journal-title":"Izv. Akad. Nauk SSSR, Ser. Mat."},{"issue":"\u21343","key":"3_CR4","first-page":"412","volume":"41","author":"S.I. Adjan","year":"1987","unstructured":"S.I. Adjan and G.U. Oganesyan On the word and divisibility relation problems for semigroups with one relation Mat. Zametki, 41 n\u2134 3 (1987), pp. 412\u2013421 (Russian)","journal-title":"Mat. Zametki"},{"key":"3_CR5","unstructured":"J. Berstel and D. Perrin Theory of codes, Academic Press, (1985)"},{"key":"3_CR6","unstructured":"J.B. Bouwsma Semigroups presented by a single relation, Doctoral Dissertation, The Pennsylvania State University, May 1993"},{"key":"3_CR7","unstructured":"G. Lallement Semigroups and Combinatorial Applications, Interscience, J. Wiley & Sons, (1979)"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01455888","volume":"106","author":"W. Magnus","year":"1932","unstructured":"W. Magnus Das Identit\u00e4tsproblem f\u00fcr Gruppen mit einer definierenden Relation Math. Ann., 106 (1932), pp. 295\u2013307","journal-title":"Math. Ann."},{"key":"3_CR9","first-page":"587","volume":"55","author":"A.A. Markov","year":"1947","unstructured":"A.A. Markov On the impossibility of certain algorithms in the theory of associative systems Dokl. Akad. Nauk SSSR, 55 (1947), pp. 587\u2013590 and 58 (1947) pp.353\u2013356 (Russian)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"3_CR10","unstructured":"A.A. Markov Theory of algorithms, Tr. Mat. Inst. Akad. Nauk SSSR 42 (1956) (Russian)"},{"issue":"\u21346","key":"3_CR11","first-page":"1264","volume":"173","author":"Y. V. Matiyasevich","year":"1967","unstructured":"Yu. V. Matiyasevich Simple examples of unsolvable associative calculi Dokl. Akad. Nauk SSSR, 173 n\u2134 6 (1967), pp. 1264\u20131266 also Tr. Mat. Inst. Steklov, Akad. Nauk SSSR, 93, pp. 50\u201388 (Russian)","journal-title":"Dokl. Akad. Nauk SSSR"},{"issue":"\u21343","key":"3_CR12","first-page":"602","volume":"42","author":"G.U. Oganesyan","year":"1978","unstructured":"G.U. Oganesyan On the problems of equality and divisibility of words in a semigroup with a defining relation of the form a=bA Izv. Akad. Nauk SSSR, Ser. Mat., 42 n\u2134 3, (1978), pp. 602\u2013612 (Russian)","journal-title":"Izv. Akad. Nauk SSSR, Ser. Mat."},{"issue":"\u21341","key":"3_CR13","first-page":"84","volume":"46","author":"G.U. Oganesyan","year":"1982","unstructured":"G.U. Oganesyan On semigroups with one relation and semigroups without cycles Izv. Akad. Nauk SSSR, Ser. Mat., 46 n\u2134 1 (1982), pp. 84\u201394 (Russian)","journal-title":"Izv. Akad. Nauk SSSR, Ser. Mat."},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E.L. Post","year":"1947","unstructured":"E.L. Post 1947 Recursive unsolvability of a problem of Thue J. Symb. Logic, 12 (1947), pp. 1\u201311","journal-title":"J. Symb. Logic"},{"key":"3_CR15","first-page":"1","volume":"\u2134 10","author":"A. Thue","year":"1914","unstructured":"A. Thue Probleme \u00fcber Ver\u00e4nderungen von Zeichenreihen nach gegebenen Regeln Skr. Vid. Kristiania, I Mat. Naturv. Klasse, n\u2134 10, (1914), pp. 1\u201334","journal-title":"Skr. Vid. Kristiania, I Mat. Naturv. Klasse"},{"key":"3_CR16","first-page":"172","volume":"52","author":"G.C. Tzeitin","year":"1958","unstructured":"G.C. Tzeitin Associative calculus with an unsolvable equivalence problem Tr. Mat. Inst. Steklov Akad. Nauk SSSR, 52, (1958), pp. 172\u2013189 (Russian)","journal-title":"Tr. Mat. Inst. Steklov Akad. Nauk SSSR"},{"issue":"1","key":"3_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9939-1992-1092933-6","volume":"116","author":"L. Zhang","year":"1992","unstructured":"L. Zhang A short proof of a theorem of Adjan Proc. Amer. Math. Soc., 116 (1) (1992), pp. 1\u20133","journal-title":"Proc. Amer. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Term Rewriting"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59340-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:13Z","timestamp":1619573233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59340-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540593409","9783540492375"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-59340-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}