{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:36:07Z","timestamp":1725572167630},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228233"},{"type":"electronic","value":"9783540286295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28629-5_63","type":"book-chapter","created":{"date-parts":[[2010,12,17]],"date-time":"2010-12-17T17:59:50Z","timestamp":1292608790000},"page":"807-817","source":"Crossref","is-referenced-by-count":3,"title":["An Elementary Proof for the Non-parametrizability of the Equation xyz=zvx"],"prefix":"10.1007","author":[{"given":"Elena","family":"Petre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Choffrut, C.: Equations in Words. In: Lothaire, M. Combinatorics on words, ch. 9. Encyclopedia of Mathematics and its applications, vol.\u00a017, Addison-Wesley Publishing Co., Reading (1983)","key":"63_CR1"},{"key":"63_CR2","series-title":"Encyclopedia of Mathematics and its applications","volume-title":"Algebraic combinatorics on words, ch. 12","author":"V. Diekert","year":"2002","unstructured":"Diekert, V.: Makanin\u2019s algorithm. In: Lothaire, M. (ed.) Algebraic combinatorics on words, ch. 12. Encyclopedia of Mathematics and its applications, vol.\u00a090, Cambridge University Press, Cambridge (2002)"},{"unstructured":"Hmelevskii, J.I.: Equations in free semigroups. Translated by G. A. Kandall from the Russian original: Trudy Mat. Inst. Steklov.\u00a0107, 1\u2013270 (1971) American Mathematical Society, Providence, R.I. (1976)","key":"63_CR3"},{"key":"63_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0166-218X(83)90002-1","volume":"5","author":"J. Karhum\u00e4ki","year":"1983","unstructured":"Karhum\u00e4ki, J.: On cube-free \u03c9-words generated by binary morphisms. Discrete Appl. Math.\u00a05, 279\u2013297 (1983)","journal-title":"Discrete Appl. Math."},{"unstructured":"Lentin, A.: Equations in free monoids. In: Nivat, M. (ed.) Automata, languages and programming, pp. 67\u201385 (1972)","key":"63_CR5"},{"unstructured":"Lothaire, M.: Combinatorics on words. Encyclopedia of Mathematics and its applications, vol.\u00a017, Addison-Wesley Publishing Co, Reading (1983)","key":"63_CR6"},{"unstructured":"Lothaire, M.: Algebraic combinatorics on words. Encyclopedia of Mathematics and its applications, vol.\u00a090. Cambridge University Press, Cambridge (2002)","key":"63_CR7"},{"unstructured":"Markov, A.A.: The theory of algorithms. Trudy Math. Inst. Steklov\u00a042 (1954)","key":"63_CR8"},{"key":"63_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1070\/SM1977v032n02ABEH002376","volume":"32","author":"G.S. Makanin","year":"1977","unstructured":"Makanin, G.S.: The problem of solvability of equations in a free semigroup. Math, USSR Sbornik\u00a032, 129\u2013198 (1977)","journal-title":"Math, USSR Sbornik"},{"key":"63_CR10","first-page":"1199","volume":"46","author":"G.S. Makanin","year":"1982","unstructured":"Makanin, G.S.: Equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat.\u00a046, 1199\u20131273 (1982) In Russian. English translation in: Math. USSR-Izv. 21, 483\u2013546 (1983)","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"doi-asserted-by":"crossref","unstructured":"Makanin, G.S.: Decidability of the universal and positive theories of a free group. Izv. Akad. Nauk SSSR Ser. Mat.\u00a048, 735\u2013749 (1984) (in Russian), English translation in: Math. USSR-Izv. 25, 75\u201388 (1985)","key":"63_CR11","DOI":"10.1070\/IM1985v025n01ABEH001269"},{"key":"63_CR12","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1051\/ita\/1992260301991","volume":"26","author":"F. Mignosi","year":"1992","unstructured":"Mignosi, F., Pirillo, G.: Repetitions in the Fibonacci infinite word. RAIRO Inform. Theor. Appl.\u00a026, 199\u2013204 (1992)","journal-title":"RAIRO Inform. Theor. Appl."},{"key":"63_CR13","first-page":"721","volume-title":"Annual ACM Symposium on Theory of Computing","author":"W. Plandowski","year":"1999","unstructured":"Plandowski, W.: Satisfiability of word equations with constants is in NEXPTIME. In: Annual ACM Symposium on Theory of Computing, pp. 721\u2013725. ACM, New York (1999)"},{"doi-asserted-by":"crossref","unstructured":"Plandowski, W.: Satisfiability of word equations with constants is in PSPACE. In: 40th Annual Symposium on Foundations of Computer Science, pp. 495\u2013500. IEEE Computer Soc., Los Alamitos (1999) Final version in JACM (to appear)","key":"63_CR14","DOI":"10.1109\/SFFCS.1999.814622"},{"key":"63_CR15","first-page":"73","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"Plotkin, G.: Building in equational theories. Machine Intelligence\u00a07, 73\u201390 (1972)","journal-title":"Machine Intelligence"},{"key":"63_CR16","first-page":"779","volume":"48","author":"A.A. Razborov","year":"1984","unstructured":"Razborov, A.A.: On systems of equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat.\u00a048, 779\u2013832 (1984) (in Russian), English translation in: Math. USSR-Izv. 25, 115\u2013162 (1985)","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"issue":"1","key":"63_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.2140\/pjm.2004.213.157","volume":"213","author":"C.M. Weinbaum","year":"2004","unstructured":"Weinbaum, C.M.: Word equation ABC = CDA, B \u2260 D. Pacific J. Math.\u00a0213(1), 157\u2013162 (2004)","journal-title":"Pacific J. Math."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28629-5_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:25:49Z","timestamp":1605759949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28629-5_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228233","9783540286295"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28629-5_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}