{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:43:22Z","timestamp":1742996602526,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662531310"},{"type":"electronic","value":"9783662531327"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53132-7_27","type":"book-chapter","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T21:25:06Z","timestamp":1468963506000},"page":"332-343","source":"Crossref","is-referenced-by-count":1,"title":["One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Nowotka","sequence":"first","affiliation":[]},{"given":"Aleksi","family":"Saarela","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,21]]},"reference":[{"issue":"1","key":"27_CR1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0304-3975(85)90066-0","volume":"41","author":"MH Albert","year":"1985","unstructured":"Albert, M.H., Lawrence, J.: A proof of Ehrenfeucht\u2019s conjecture. Theoret. Comput. Sci. 41(1), 121\u2013123 (1985)","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR2","first-page":"267","volume":"14","author":"LG Budkina","year":"1973","unstructured":"Budkina, L.G., Markov, A.A.: $$F$$ -semigroups with three generators. Mat. Zametki 14, 267\u2013277 (1973)","journal-title":"Mat. Zametki"},{"issue":"2\u20133","key":"27_CR3","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0012-365X(83)90152-8","volume":"43","author":"K Culik","year":"1983","unstructured":"Culik, K., Karhum\u00e4ki, J.: Systems of equations over a free monoid and Ehrenfeucht\u2019s conjecture. Discrete Math. 43(2\u20133), 139\u2013153 (1983)","journal-title":"Discrete Math."},{"issue":"4","key":"27_CR4","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1007\/s00453-009-9375-3","volume":"60","author":"R Da\u0327browski","year":"2011","unstructured":"Da\u0327browski, R., Plandowski, W.: On word equations in one variable. Algorithmica 60(4), 819\u2013828 (2011)","journal-title":"Algorithmica"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/3-540-58338-6_80","volume-title":"Mathematical Foundations of Computer Science 1994","author":"S Eyono Obono","year":"1994","unstructured":"Eyono Obono, S., Goralcik, P., Maksimenko, M.: Efficient solving of the word equations in one variable. In: Privara, I., Ru\u017ei\u010dka, P., Rovan, B. (eds.) MFCS 1994. LNCS, vol. 841, pp. 336\u2013341. Springer, Heidelberg (1994)"},{"issue":"3","key":"27_CR6","first-page":"321","volume":"40","author":"VS Guba","year":"1986","unstructured":"Guba, V.S.: Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems. Mat. Zametki 40(3), 321\u2013324 (1986)","journal-title":"Mat. Zametki"},{"issue":"1","key":"27_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0304-3975(03)00098-7","volume":"307","author":"T Harju","year":"2003","unstructured":"Harju, T., Nowotka, D.: On the independence of equations in three variables. Theoret. Comput. Sci. 307(1), 139\u2013172 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR8","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jalgebra.2015.03.021","volume":"434","author":"\u0160 Holub","year":"2015","unstructured":"Holub, \u0160., \u017demli\u010dka, J.: Algebraic properties of word equations. J. Algebra 434, 283\u2013301 (2015)","journal-title":"J. Algebra"},{"issue":"1","key":"27_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00453-014-9931-3","volume":"74","author":"A Jez","year":"2016","unstructured":"Jez, A.: One-variable word equations in linear time. Algorithmica 74(1), 1\u201348 (2016)","journal-title":"Algorithmica"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Karhum\u00e4ki, J., Plandowski, W.: On the defect effect of many identities in free semigroups. In: Paun, G. (ed.) Mathematical Aspects of Natural and Formal Languages, pp. 225\u2013232. World Scientific (1994)","DOI":"10.1142\/9789814447133_0012"},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1134\/S0081543811060083","volume":"274","author":"J Karhum\u00e4ki","year":"2011","unstructured":"Karhum\u00e4ki, J., Saarela, A.: On maximal chains of systems of word equations. Proc. Steklov Inst. Math. 274, 116\u2013123 (2011)","journal-title":"Proc. Steklov Inst. Math."},{"issue":"2","key":"27_CR12","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1142\/S0129054111008088","volume":"22","author":"M Laine","year":"2011","unstructured":"Laine, M., Plandowski, W.: Word equations with one unknown. Int. J. Found. Comput. Sci. 22(2), 345\u2013375 (2011)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/978-3-642-02737-6_36","volume-title":"Developments in Language Theory","author":"A Saarela","year":"2009","unstructured":"Saarela, A.: On the complexity of Hmelevskii\u2019s theorem and satisfiability of three unknown equations. In: Diekert, V., Nowotka, D. (eds.) DLT 2009. LNCS, vol. 5583, pp. 443\u2013453. Springer, Heidelberg (2009)"},{"key":"27_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ejc.2015.01.005","volume":"47","author":"A Saarela","year":"2015","unstructured":"Saarela, A.: Systems of word equations, polynomials and linear algebra: a new approach. Eur. J. Comb. 47, 1\u201314 (2015)","journal-title":"Eur. J. Comb."},{"key":"27_CR15","unstructured":"Spehner, J.C.: Quelques probl\u00e9mes d\u2019extension, de conjugaison et de pr\u00e9sentation des sous-mono\u00efdes d\u2019un mono\u00efde libre. Ph.D. thesis, Univ. Paris (1976)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Spehner, J.C.: Les systemes entiers d\u2019\u00e9quations sur un alphabet de 3 variables. In: Semigroups, pp. 342\u2013357 (1986)","DOI":"10.1007\/BFb0083443"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53132-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T07:28:02Z","timestamp":1568186882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53132-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662531310","9783662531327"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53132-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}