{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:02Z","timestamp":1762458962516},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540567301"},{"type":"electronic","value":"9783540476368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56730-5_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:27:27Z","timestamp":1330237647000},"page":"43-56","source":"Crossref","is-referenced-by-count":7,"title":["Word equations with two variables"],"prefix":"10.1007","author":[{"given":"Witold","family":"Charatonik","sequence":"first","affiliation":[]},{"given":"Leszek","family":"Pacholski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","unstructured":"H. Abdulrab, R\u00e9solution d'\u00e9quations sur les mots: \u00e9tude et impl\u00e9mentation LISP de l'algorithme de Makanin. Ph.D. Thesis, Universit\u00e9 de Rouen, 1987."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/S0747-7171(89)80056-2","volume":"8","author":"H. Abdulrab","year":"1989","unstructured":"H. Abdulrab, J.P. Pecuchet, Solving word equations. Journal of Symbolic Computation 8 (1989), pp. 499\u2013521.","journal-title":"Journal of Symbolic Computation"},{"issue":"issue3","key":"4_CR3","first-page":"207","volume":"168","author":"S.I. Adyan","year":"1984","unstructured":"S.I. Adyan, G.S. Makanin, Investigation on algorithmic questions of algebra. Trudy Matem. Inst. Steklova 168 (1984), English translation in Proc. of Steklov Institute of Mathematics 1986, issue 3, pp. 207\u2013226.","journal-title":"Trudy Matem. Inst. Steklova"},{"key":"4_CR4","unstructured":"V.K. Bulitko, Equations and inequalities in a free group and a free semigroup. (in Russian) Tul. Gos. Ped. Inst. Ucen. Zap. Mat. Kafedr Vyp 2, Geometr. i Algebra. (1970), pp.242\u2013252."},{"key":"4_CR5","unstructured":"W. Charatonik, Equations in Free Semigroup (in Polish), Master Thesis, Wroc\u0142aw University 1991 (unpublished)."},{"key":"4_CR6","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 ACM 37 (1990), pp. 47\u201385.","journal-title":"Journal of ACM"},{"key":"4_CR7","first-page":"1023","volume":"177","author":"Y. Khmelevskii","year":"1967","unstructured":"Yu.I. Khmelevskii, Solution of word equations in three unknowns. Dokl. Akad. Nauk SSSR 177 (1967), 1023\u20131025; English transl. in Soviet Math. Dokl. 8 (1967).","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"4_CR8","first-page":"1","volume":"107","author":"Y. Khmelevskii","year":"1971","unstructured":"Yu.I. Khmelevskii, Equations in a Free Semigroup (in Russian), Trudy Matern. Inst. Steklova, 107 (1971) pp. 1\u2013284.","journal-title":"Trudy Matern. Inst. Steklova"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"824","DOI":"10.1109\/FSCS.1990.89605","volume":"II","author":"A. Ko\u015acielski","year":"1990","unstructured":"A. Ko\u015acielski, L. Pacholski, Complexity of Unification in Free Groups and Free Semigroups, Proceedings 31st Annual Symposium on Foundations of Computer Science, Los Alamitos 1990, vol. II, pp. 824\u2013830.","journal-title":"Proceedings 31st Annual Symposium on Foundations of Computer Science"},{"key":"4_CR10","unstructured":"A. Ko\u015acielski, L. Pacholski, Complexity of Makanins' Algorithms submitted."},{"key":"4_CR11","unstructured":"A. Lentin, Equations in free monoids. in Nivat, editor, Automata, Languages and Programing, Amsterdam 1972, pp. 67\u201385."},{"key":"4_CR12","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. (in Russian), Matematicheskii Sbornik 103 (1977), pp. 147\u2013236; English translation in Math. USSR Sbornik 32 (1977), pp. 129\u2013198.","journal-title":"Matematicheskii Sbornik"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0012-365X(84)90187-0","volume":"48","author":"J.-P. Pecuchet","year":"1984","unstructured":"J.-P. Pecuchet, Solutions principales et rang d'un syst\u00e8me d'\u00e9quations avec constantes dans le mono\u00cfde libre. Discrete Mathematics 48 (1984), pp. 253\u2013274.","journal-title":"Discrete Mathematics"},{"key":"4_CR14","first-page":"73","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"G. Plotkin, Building in equational theories. Machine Intelligence\n7 (1972), pp. 73\u201390.","journal-title":"Machine Intelligence"},{"key":"4_CR15","unstructured":"K.U. Schulz, Makanin's algorithm \u2014 two improvements and a generalization, CIS-report 91-39, Centrum f\u00fcr Informations-und Sprachverarbeitung, University of Munique, 1991."}],"container-title":["Lecture Notes in Computer Science","Word Equations and Related Topics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56730-5_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:19Z","timestamp":1619556859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56730-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540567301","9783540476368"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56730-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}