{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:01:45Z","timestamp":1767139305237,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540568681","type":"print"},{"value":"9783662215517","type":"electronic"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-662-21551-7_22","type":"book-chapter","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T05:30:08Z","timestamp":1658208608000},"page":"289-300","source":"Crossref","is-referenced-by-count":2,"title":["On some algorithmic problems for groups and monoids"],"prefix":"10.1007","author":[{"given":"Sergei I.","family":"Adian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","first-page":"533","volume":"103","author":"S. I. Adian","year":"1955","unstructured":"Adian S.I. (1955). Algorithmic unsolvability of the problem of recognizing certain properties of groups. Dokl. Akad Nauk SSSR 103, 533\u2013535.","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR2","first-page":"231","volume":"6","author":"S. I. Adian","year":"1957","unstructured":"Adian S.I. (1957). Unsolvability of certain algorithmic problems of group theory. Trudy Moskov. Mat. Obshch. 6, 231\u2013298.","journal-title":"Trudy Moskov. Mat. Obshch."},{"key":"22_CR3","first-page":"9","volume":"117","author":"S. I. Adian","year":"1957","unstructured":"Adian S.I. (1957). Finitely presented groups and algorithms. Dokl. Akad Nauk SSSR 117, 9\u201312.","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR4","unstructured":"Adian S.I. (1966). Defining relations and algorithmic problems for groups and semigroups. Proc. Steklov Inst. Math. 85. (English version published by the American Mathematical Society, 1967)."},{"key":"22_CR5","first-page":"611","volume":"15","author":"S. I. Adian","year":"1976","unstructured":"Adian S.I. (1976). Word transformations in a semigroup that is given by a system of defining relations. Algebra i Logika 15, 611\u2013621; English transl. in Algebra and Logic 15 (1976).","journal-title":"Algebra i Logika"},{"key":"22_CR6","first-page":"219","volume":"42","author":"S. I. Adian","year":"1978","unstructured":"Adian S.I. and Oganesian G.U. (1978). On the word and divisibility problems in semigroups with a single defining relation. Izv. Akad. Nauk SSSR (Ser. Mat.) 42, 219\u2013225; English. transl. in Math. USSR Izv. 12 (1978).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR7","first-page":"412","volume":"41","author":"S. I. Adian","year":"1987","unstructured":"Adian S.I. and Oganesian G.U. (1987). On the word and divisibility problems in semigroups with one defining relation. Mat. Zametki 41, 412\u2013421; English transl. in Math. Notes 41 (1987).","journal-title":"Mat. Zametki"},{"key":"22_CR8","first-page":"207","volume":"168","author":"S. I. Adian","year":"1984","unstructured":"Adian S.I. and Makanin G.S. (1984). Investigations on algorithmic questions of algebra. Proc. Steklov Inst. Math. 168, 207\u2013226; English transl. in Proc. Steklov Inst. Math. 3 (1986).","journal-title":"Proc. Steklov Inst. Math."},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0747-7171(87)80021-4","volume":"3","author":"R. V. Book","year":"1987","unstructured":"Book R.V. (1987) Thue Systems as Rewriting Systems. J. Symbolic Computation 3, 39\u201368.","journal-title":"J. Symbolic Computation"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"207","DOI":"10.2307\/1970103","volume":"70","author":"W. W. Boone","year":"1959","unstructured":"Boone W.W. (1959). The word problem. Ann. of Math. (2) 70, 207\u2013265.","journal-title":"Ann. of Math. (2)"},{"key":"22_CR11","first-page":"521","volume":"6","author":"V. V. Borisov","year":"1969","unstructured":"Borisov V.V. (1969). Simple examples of groups with unsolvable word problem. Mat. Zametki 6, 521\u2013532; English transl. in Math. Notes 6 (1969).","journal-title":"Mat. Zametki"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02392008","volume":"122","author":"D. J. Collins","year":"1969","unstructured":"Collins D.J. (1969) Recursively enumerable degrees and the cojugacy problem. Acta Math. 122, 115\u2013160.","journal-title":"Acta Math."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Dehn M. (1912). \u00c3\u0153ber unendliche diskontinuierliche Gruppen. Math. Ann. 71.","DOI":"10.1007\/BF01456932"},{"key":"22_CR14","first-page":"772","volume":"211","author":"V. G. Durnev","year":"1973","unstructured":"Durnev V.G. (1973). Positive theory of a free semigroup. Dokl. Akad Nauk SSSR 211, 772\u2013774; English transl. in Soviet Math. Dokl. 14 (1973).","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR15","first-page":"805","volume":"147","author":"A. A. Fridman","year":"1962","unstructured":"Fridman A.A. (1962). Turing degrees of the word problem in finitely presented groups. Dokl. Akad Nauk SSSR 147, 805\u2013808.","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR16","first-page":"201","volume":"33","author":"A. I. Gol'berg","year":"1978","unstructured":"Gol'berg A.I. (1978). On the impossibility of strenghtening certain results of Greendlinger and Lyndon. Uspekhi Mat. Nauk 33, 201\u2013202; English transl. in Russian Math. Surveys 33 (1978).","journal-title":"Uspekhi Mat. Nauk"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0305004100063891","volume":"99","author":"J. Howie","year":"1986","unstructured":"Howie J., Pride S. (1986). The word problem for one-relator semigroups. Math. Proc. of the Cambridge Phil. Soc. 99, 33\u201344.","journal-title":"Math. Proc. of the Cambridge Phil. Soc."},{"key":"22_CR18","doi-asserted-by":"crossref","DOI":"10.1515\/9783111544526","volume-title":"Equations dans les monoides libres","author":"A. Lentin","year":"1972","unstructured":"Lentin A. (1972). Equations dans les monoides libres. Gauthier-Villars and Mouton, Paris."},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1090\/S0002-9947-1960-0151503-8","volume":"96","author":"R. C. Lyndon","year":"1960","unstructured":"Lyndon R. C. (1960). Equations in free groups. Trans. Amer. Math. Soc. 96, 445\u2013457.","journal-title":"Trans. Amer. Math. Soc."},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BF01361168","volume":"166","author":"R. C. Lyndon","year":"1966","unstructured":"Lyndon R. C. (1966). On Dehn algorithm. Math. Ann. 166, 208\u2013228.","journal-title":"Math. Ann."},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01455888","volume":"106","author":"W. Magnus","year":"1932","unstructured":"Magnus W. (1932). Das Identit\u00e4tsproblem f\u00fcr Gruppen mit einer definierenden Relation. Math. Ann. 106, 295\u2013307.","journal-title":"Math. Ann."},{"issue":"145","key":"22_CR22","first-page":"147","volume":"103","author":"G. S. Makanin","year":"1977","unstructured":"Makanin G.S. (1977). The problem of solvability of equations in a free semigroups. Mat. Sb. 103 (145), 147\u2013236; English transl. in Math. USSR Sb. 32 (1977).","journal-title":"Mat. Sb."},{"key":"22_CR23","first-page":"1199","volume":"46","author":"G. S. Makanin","year":"1982","unstructured":"Makanin G.S. (1982). Eguations in a free group. Izv. Akad. Nauk SSSR (Ser. Mat.) 46, 1199\u20131273; English. transl. in Math. USSR Izv. 21 (1983).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR24","first-page":"735","volume":"48","author":"G. S. Makanin","year":"1984","unstructured":"Makanin G.S. (1984). Decidability of the universal and positive theories in a free groups. Izv. Akad. Nauk SSSR (Ser. Mat.) 48, 735\u2013749; English. transl. in Math. USSR Izv. 25 (1985).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR25","first-page":"196","volume":"23","author":"S. S. Marchenkov","year":"1982","unstructured":"Marchenkov S.S. (1982). Undecidability of the positive AE-theory of a free semigroup. Sibirsk. Mat. Zh. 23, 196\u2013198.","journal-title":"Sibirsk. Mat. Zh."},{"key":"22_CR26","first-page":"683","volume":"55","author":"A. A. Markov","year":"1947","unstructured":"Markov A.A. (1947). On the impossibility of certain algorithms in the theory of associative systems. Dokl. Akad Nauk SSSR 55, 683\u2013586.","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"#cr-split#-22_CR27.1","unstructured":"Markov A.A. (1954). The theory of Algorithms. Trudy Mat. Inst. Steklov 42"},{"key":"#cr-split#-22_CR27.2","unstructured":"English transl., Israel Program Sci. Transl., Jerusalem (1961)."},{"key":"22_CR28","first-page":"1264","volume":"173","author":"Yu. V. Matiyasevich","year":"1967","unstructured":"Matiyasevich Yu.V. (1967). Simple examples of undecidable associative calculi. Dokl. Akad Nauk SSSR 173, 1264\u20131266; English transl. in Soviet Math. Dokl. 8 (1967).","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"#cr-split#-22_CR29.1","unstructured":"Novikov P.S. (1955). On the algotithmic unsolvability of the word problem in group theory. Trudy Mat. Inst. Steklov 44"},{"key":"#cr-split#-22_CR29.2","unstructured":"English transl. in Amer. Math. Soc. Transl. (2) 9 (1958)."},{"key":"22_CR30","first-page":"88","volume":"46","author":"G. U. Oganesian","year":"1982","unstructured":"Oganesian G.U. (1982). On semigroups with one relation and semigroups without cycles. Izv. Akad. Nauk SSSR (Ser. Mat.) 46, 88\u201394; English. transl. in Math. USSR Izv. 20 (1983).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR31","first-page":"1017","volume":"178","author":"V. A. Osipova","year":"1968","unstructured":"Osipova V.A. (1968). On the word problem for finitely presented semigroups. Dokl. Akad Nauk SSSR 178, 1017\u20131020; English transl. in Soviet Math. Dokl. 9 (1968).","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E. L. Post","year":"1947","unstructured":"Post E.L. (1947). Recursive unsolvability of a problem of Thue. J. Symbolic Logic 12, 1\u201311.","journal-title":"J. Symbolic Logic"},{"key":"22_CR33","doi-asserted-by":"publisher","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"W. V. Quine","year":"1946","unstructured":"Quine W.V. (1946). Concatenation as a basis for arithmetic. J. Symbolic Logic 11, 105\u2013114.","journal-title":"J. Symbolic Logic"},{"key":"22_CR34","doi-asserted-by":"publisher","first-page":"172","DOI":"10.2307\/1969933","volume":"67","author":"M. O. Rabin","year":"1958","unstructured":"Rabin M.O. (1958). Recursive unsolvavility of group theoretic problems. Ann. of Math. (2) 67, 172\u2013194.","journal-title":"Ann. of Math. (2)"},{"key":"22_CR35","first-page":"779","volume":"48","author":"A. A. Razborov","year":"1984","unstructured":"Razborov A.A. (1984). On systems of equations in a free groups. Izv. Akad. Nauk SSSR (Ser. Mat.) 48, 779\u2013832; English. transl. in Math. USSR Izv. 25 (1985).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR36","first-page":"909","volume":"43","author":"O. A. Sarkisian","year":"1979","unstructured":"Sarkisian O.A. (1979). Some relations between the word and divisibility problems in groups and semigroups. Izv. Akad. Nauk SSSR (Ser. Mat.) 43, 909\u2013921; English. transl. in Math. USSR Izv. 15 (1980).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR37","unstructured":"Thue A. (1914). Probleme \u00fcber Verbandenlungen von Zeichenreihen nach gegebenen Regeln. Kristiana Videnskapsselkapets Skr. I: Mat.-Naturvid. Kl. 10. (Reprinted in his Selected mathematical papers, Universitetsforlaget, Oslo (1977), 493\u2013524)."},{"key":"22_CR38","first-page":"228","volume":"21","author":"A. D. Taimanov","year":"1980","unstructured":"Taimanov A.D. and Khmelevskii Yu.I. (1980). Decidability of the universal theory of a free semigroup. Sibirsk. Mat. Zh. 21, 228\u2013230.","journal-title":"Sibirsk. Mat. Zh."},{"key":"22_CR39","first-page":"1909","volume":"58","author":"V. A. Tartakovskii","year":"1947","unstructured":"Tartakovskii V.A. (1947). On the word problem for certain types of groups. Dokl. Akad Nauk SSSR 58, 1909\u20131910 (Russian).","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR40","first-page":"483","volume":"13","author":"V. A. Tartakovskii","year":"1949","unstructured":"Tartakovskii V.A. (1949). Solution of the word problem for groups with a k-reduced basis for k>6. Izv. Akad. Nauk SSSR (Ser. Mat.) 13, 483\u2013494; English transl. in Amer. Math. Soc. Transl. (1) 1 (1962).","journal-title":"Izv. Akad. Nauk SSSR (Ser. Mat.)"},{"key":"22_CR41","first-page":"370","volume":"107","author":"G. S. Tseitin","year":"1956","unstructured":"Tseitin G.S. (1956). Associative system with unsolvable word problem. Dokl. Akad Nauk SSSR 107, 370\u2013371. (The full proof in Trudy Mat. Inst. Steklov 52 (1958), 172\u2013189).","journal-title":"Dokl. Akad Nauk SSSR"},{"key":"22_CR42","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/0021-8693(91)90275-D","volume":"143","author":"L. Zhang","year":"1991","unstructured":"Zhang L. (1991). Conjugacy in Special Monoids. J. of Algebra 143, 487\u2013497.","journal-title":"J. of Algebra"},{"key":"22_CR43","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1017\/S0305004100071176","volume":"112","author":"L. Zhang","year":"1992","unstructured":"Zhang L. (1992). Applying rewriting methods to special monoids. Math. Proc. Cambridge Phil. Soc. 112, 495\u2013505.","journal-title":"Math. Proc. Cambridge Phil. Soc."},{"key":"22_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9939-1992-1092933-6","volume":"116","author":"L. Zhang","year":"1992","unstructured":"Zhang L. (1992). A short proof of a theorem of Adjan. Proc. of the Amer. Math. Soc. 116, 1\u20133.","journal-title":"Proc. of the Amer. Math. Soc."},{"key":"22_CR45","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1142\/S021819679200013X","volume":"2","author":"L. Zhang","year":"1992","unstructured":"Zhang L. (1992). On the conjugacy problem for one-relator monoids with elements of finite order. International J. of Algebra and Computations. 2, 209\u2013220.","journal-title":"International J. of Algebra and Computations"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-21551-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T05:31:40Z","timestamp":1658208700000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-21551-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568681","9783662215517"],"references-count":47,"aliases":["10.1007\/3-540-56868-9_22"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-21551-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}