{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T01:58:39Z","timestamp":1648778319689},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540551249","type":"print"},{"value":"9783540467373","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55124-7_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:48:47Z","timestamp":1330249727000},"page":"12-60","source":"Crossref","is-referenced-by-count":1,"title":["An analysis of Makanin's algorithm deciding solvability of equations in free groups"],"prefix":"10.1007","author":[{"given":"Antoni","family":"Ko\u015bcielski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/78935.78938","volume":"37","author":"J. Jaffar","year":"1990","unstructured":"J. Jaffar, Minimal and Complete Word Unification, Journal of the Association for Computing Machinery, 37, 1(1990), pp. 47\u201385.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"824","DOI":"10.1109\/FSCS.1990.89605","volume":"II","author":"A. Ko\u015bcielski","year":"1990","unstructured":"A. Ko\u015bcielski, L. Pacholski, Complexity of Unification in Free Groups and Free Semi-Groups, Proceedings 31st Annual Symposium on Foundations of Computer Science, v. II, (1990), pp. 824\u2013829.","journal-title":"Proceedings 31st Annual Symposium on Foundations of Computer Science"},{"key":"2_CR3","unstructured":"A. Ko\u015bcielski, L. Pacholski, Is Makanin's Algorithm Deciding Solvability of Equations in Free Groups Primitive Recursive?."},{"key":"2_CR4","unstructured":"A. Ko\u015bcielski, L. Pacholski, On the Exponent of Periodicity of a Minimal Solution of a Word Equation."},{"issue":"2","key":"2_CR5","first-page":"147","volume":"103","author":"G. S. Makanin","year":"1977","unstructured":"G. S. Makanin, The problem of solvability of equations in a free semigroup, Matematiceskii Sbornik, 103, 2(1977), pp. 147\u2013236 (in Russian), English translation in Math. USSR Sbornik, 32, 2(1977), pp. 129\u2013198.","journal-title":"Matematiceskii Sbornik"},{"key":"2_CR6","first-page":"1199","volume":"46","author":"G. S. Makanin","year":"1982","unstructured":"G. S. Makanin, Equations in a free group, Izviestiya AN SSSR, 46(1982), pp. 1199\u20131273 (in Russian), English translation in Math. USSR Izv. 21(1983).","journal-title":"Izviestiya AN SSSR"},{"issue":"4","key":"2_CR7","first-page":"735","volume":"48","author":"G. S. Makanin","year":"1984","unstructured":"G. S. Makanin, Decidability of the universal and the positive theories of a free group, Izviestiya AN SSSR, 48, 4(1984), pp. 735\u2013749 (inRussian), English translation in Math. USSR Izv., 25(1985).","journal-title":"Izviestiya AN SSSR"},{"key":"2_CR8","first-page":"779","volume":"48","author":"A. A. Razborov","year":"1984","unstructured":"A. A. Razborov, On systems of equations in a free group, Izviestiya AN SSSR, 48(1984), pp 779\u2013832 (in Russian), English translation in Math. USSR Izv., 25(1985).","journal-title":"Izviestiya AN SSSR"}],"container-title":["Word Equations and Related Topics","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55124-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:05Z","timestamp":1619573285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55124-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551249","9783540467373"],"references-count":8,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-55124-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1992]]}}}