{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:43Z","timestamp":1725664663710},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:59:23Z","timestamp":1330297163000},"page":"88-101","source":"Crossref","is-referenced-by-count":4,"title":["Studying algorithmic problems for free semi-groups and groups"],"prefix":"10.1007","author":[{"given":"Valery","family":"Durnev","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"10_CR1","series-title":"Sbornik obzornyh statey. 1. K 50-letiyu Instituta","first-page":"197","volume-title":"Trudy Matematicheskogo Instituta Akademii Nauk SSSR. V. 168. Algebra, mathematical logics, theory of numbers, topology","author":"S. I. Adian","year":"1984","unstructured":"Adian S. I., Makanin G. S., Investigations on algorithmic questions on algebra, Trudy Matematicheskogo Instituta Akademii Nauk SSSR. V. 168. Algebra, mathematical logics, theory of numbers, topology. Sbornik obzornyh statey. 1. K 50-letiyu Instituta. Moscow: Nauka, 1984. P.197\u2013217."},{"issue":"N7","key":"10_CR2","first-page":"15","volume":"60","author":"A. P. Beltyukov","year":"1976","unstructured":"Beltyukov A. P., Solvability of universal theory of natural numbers with addition and divisibility, Zapiski hauchnyh seminarov LOMI Akademii Nauk SSSR. 1976. V. 60, N 7. P. 15\u201328.","journal-title":"Zapiski hauchnyh seminarov LOMI Akademii Nauk SSSR"},{"issue":"N4","key":"10_CR3","first-page":"772","volume":"211","author":"V. G. Durnev","year":"1973","unstructured":"Durnev V. G., Positive theory of free semi-group, Doklady Akademii Nauk SSSR. 1973. V. 211, N 4. P.772\u2013774.","journal-title":"Doklady Akademii Nauk SSSR"},{"issue":"N5","key":"10_CR4","first-page":"717","volume":"16","author":"V. G. Durnev","year":"1974","unstructured":"Durnev V. G., About equtions on free semi-groups and groups, Mathematicheskie zametki. 1974. V. 16, N 5. P.717\u2013724.","journal-title":"Mathematicheskie zametki"},{"issue":"N2","key":"10_CR5","first-page":"136","volume":"4","author":"V. G. Durnev","year":"1992","unstructured":"Durnev V. G., About equations with endomorphisms in free semi-groups, Diskretnaya mathematika. 1992. V. 4, N 2. P.136\u2013141.","journal-title":"Diskretnaya mathematika"},{"issue":"N1","key":"10_CR6","first-page":"36","volume":"53","author":"V. G. Durnev","year":"1993","unstructured":"Durnev V. G., About equations with restrictions on solutions in free groups, Mathematicheskie zametki. 1993. V. 53, N 1. P.36\u201340.","journal-title":"Mathematicheskie zametki"},{"issue":"N4","key":"10_CR7","first-page":"60","volume":"7","author":"V. G. Durnev","year":"1995","unstructured":"Durnev V. G., About equations with semi-group restrictions on solutions in free groups, Diskretnaya mathematika. 1995. V.7, N 4. P.60\u201367.","journal-title":"Diskretnaya mathematika"},{"issue":"N5","key":"10_CR8","first-page":"1067","volume":"36","author":"V. G. Durnev","year":"1995","unstructured":"Durnev V. G., Unsolvability of positive \u2200\u22033-theory of free semi-group, Sibirsky mathematichesky jurnal. 1995. V.36, N 5. P. 1067\u20131080.","journal-title":"Sibirsky mathematichesky jurnal"},{"issue":"N6","key":"10_CR9","doi-asserted-by":"crossref","first-page":"832","DOI":"10.4213\/mzm1782","volume":"59","author":"V. G. Durnev","year":"1996","unstructured":"Durnev V. G., To problem of solvability of equations with one coefficient, Mathematicheskie zametki. 1996. V. 59, N 6. P.832\u2013846.","journal-title":"Mathematicheskie zametki"},{"key":"10_CR10","volume-title":"Elements of mathematical logic and its application to theory of sub-recursive algorithms","author":"N. K. Kosovsky","year":"1981","unstructured":"Kosovsky N. K., Elements of mathematical logic and its application to theory of sub-recursive algorithms. Leningrad: Izdatelstvo Leningradskogo Gosudarstvennogo Universiteta, 1981. 192 p."},{"issue":"N2","key":"10_CR11","first-page":"147","volume":"103","author":"G. S. Makanin","year":"1977","unstructured":"Makanin G. S., Problem of solvability of equations in free semi-group, Mathematichesky sbornik. 1977. V. 103, N 2. P.147\u2013236.","journal-title":"Mathematichesky sbornik"},{"issue":"N6","key":"10_CR12","first-page":"1199","volume":"46","author":"G. S. Makanin","year":"1982","unstructured":"Makanin G. S., Equations in free groups, Izvestiya Akademii Nauk SSSR. Seriya mathematiki. 1982. V. 46, N 6. P.1199\u20131274.","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya mathematiki"},{"issue":"N1","key":"10_CR13","first-page":"196","volume":"23","author":"S. S. Marchenkov","year":"1982","unstructured":"Marchenkov S. S., Unsolvability of positive \u2200\u2203-theory of free semi-group, Sibirsky mathematichesky jurnal. 1982. V.23, N 1. P.196\u2013198.","journal-title":"Sibirsky mathematichesky jurnal"},{"key":"10_CR14","unstructured":"Myacnikov A. G., Remeslennikov V. N., Elementary equivalence of free products of groups with length function in signature, X Vsesoyuzniy simpozium po teorii grupp. Tezisy dokladov. Minsk, 1986. P. 160."},{"key":"10_CR15","unstructured":"Myacnikov A. G., Remeslennikov V. N., Elementary equivalence of free products. Sibirskoe otdelenie Akademii Nauk SSSR, VC, Preprint N 718. Novosibirsk, 1987. 20 p."},{"key":"10_CR16","unstructured":"Repin N. N., Certain simply defined groups for which an algorithm recognizing solvability of equations is impossible, Boprocy kibernetiki. Slojnoct vychisleniy i prikladnaya mathematicheskaya logika. Moscow, 1988. P.167\u2013174."},{"issue":"N4","key":"10_CR17","first-page":"457","volume":"16","author":"V. A. Romankov","year":"1977","unstructured":"Romankov V. A., About unsolvability of problem of endomorphic reducibility in free nilpotent groups and in free rings, Algebra i logika. 1977. V. 16, N 4. P.457\u2013471.","journal-title":"Algebra i logika"},{"issue":"N3","key":"10_CR18","first-page":"105","volume":"6","author":"M. A. Taytslin","year":"1967","unstructured":"Taytslin M. A., Some examples of unsolvable theories, Algebra i logika. 1967. V.6, N 3. P.105\u2013111.","journal-title":"Algebra i logika"},{"issue":"N4","key":"10_CR19","first-page":"786","volume":"178","author":"M. A. Taytslin","year":"1968","unstructured":"Taytslin M. A., About algorithmic problem for coomutative semi-groups, Doklady Akademii Nauk SSSR. 1968. V. 178, N 4. P.786\u2013789.","journal-title":"Doklady Akademii Nauk SSSR"},{"issue":"N6","key":"10_CR20","first-page":"1237","volume":"35","author":"Y. I. Hmelevsky","year":"1971","unstructured":"Hmelevsky Yu. I., Systems of equations in free group, Izvestiya Akademii Nauk. Seriya mathematiki. 1971. V. 35, N 6. P.1237\u20131268.","journal-title":"Izvestiya Akademii Nauk. Seriya mathematiki"},{"issue":"N4","key":"10_CR21","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/malq.19880340410","volume":"34","author":"J. R. B\u00fcchi","year":"1988","unstructured":"B\u00fcchi J. R., Senger S., Definability in the existential theory of concatenation and undecidable extensions of this theory, Z. Math. Log. und Grundl. Math. 1988. Bd 34, N 4. P. 337\u2013342.","journal-title":"Z. Math. Log. und Grundl. Math."},{"key":"10_CR22","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF02017493","volume":"26","author":"J. R. B\u00fcchi","year":"1986\/87","unstructured":"B\u00fcchi J. R., Senger S., Coding in the existential theory of concatenation, Arch. Math. Logik. 1986\/87. Bd 26. P. 101\u2013106.","journal-title":"Arch. Math. Logik"},{"key":"10_CR23","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1090\/S0002-9947-1978-0469886-1","volume":"235","author":"L. Lipshitz","year":"1978","unstructured":"Lipshitz L., The Diophantine problem for addition and divisibility, Trans. Amer. Math. Soc. 1978. V. 235. P. 271\u2013283.","journal-title":"Trans. Amer. Math. Soc."},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"275","DOI":"10.4064\/cm-14-1-275-283","volume":"N 4","author":"R. C. Lyndon","year":"1966","unstructured":"Lyndon R. C., Dependence in groups, Colloq. Math. 1966. N 4. P. 275\u2013283.","journal-title":"Colloq. Math."},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"W. Quine","year":"1946","unstructured":"Quine W., Concatenation as a basis for arithmetic, J. Symbolic Logic. 1946. V.11. P. 105\u2013114.","journal-title":"J. Symbolic Logic"},{"issue":"N2","key":"10_CR26","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1090\/S0002-9939-1969-0245657-6","volume":"23","author":"P.E. Schupp","year":"1969","unstructured":"Schupp P.E., On the substitution problem for free groups, Proc. Amer. Math. Soc. 1969. V. 23, N 2. P. 421\u2013423.","journal-title":"Proc. Amer. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:41:13Z","timestamp":1619574073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}