{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:04Z","timestamp":1759638124841},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2018,8]]},"abstract":"<jats:p> We prove connections between one-variable word equations and three-variable constant-free word equations, and use them to prove that the number of equations in an independent system of three-variable constant-free equations is at most logarithmic with respect to the length of the shortest equation in the system. We also study two well-known conjectures. The first conjecture claims that there is a constant [Formula: see text] such that every one-variable equation has either infinitely many solutions or at most [Formula: see text]. The second conjecture claims that there is a constant [Formula: see text] such that every independent system of three-variable constant-free equations with a nonperiodic solution is of size at most [Formula: see text]. We prove that the first conjecture implies the second one, possibly for a different constant. <\/jats:p>","DOI":"10.1142\/s0129054118420121","type":"journal-article","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T10:47:08Z","timestamp":1534848428000},"page":"935-950","source":"Crossref","is-referenced-by-count":8,"title":["One-Variable Word Equations and Three-Variable Constant-Free Word Equations"],"prefix":"10.1142","volume":"29","author":[{"given":"Dirk","family":"Nowotka","sequence":"first","affiliation":[{"name":"Department of Computer Science, Kiel University, 24098 Kiel, Germany"}]},{"given":"Aleksi","family":"Saarela","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Statistics, University of Turku, 20014 Turku, Finland"}]}],"member":"219","published-online":{"date-parts":[[2018,8,21]]},"reference":[{"key":"S0129054118420121BIB001","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90066-0"},{"key":"S0129054118420121BIB002","first-page":"267","volume":"14","author":"Budkina L. G.","year":"1973","journal-title":"Mat. Zametki"},{"key":"S0129054118420121BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(83)90152-8"},{"key":"S0129054118420121BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-009-9375-3"},{"issue":"3","key":"S0129054118420121BIB006","first-page":"321","volume":"40","author":"Guba V. S.","year":"1986","journal-title":"Mat. Zametki"},{"key":"S0129054118420121BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00098-7"},{"key":"S0129054118420121BIB008","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2015.03.021"},{"key":"S0129054118420121BIB009","first-page":"157","volume":"68","author":"Honkala J.","year":"1999","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci. EATCS"},{"key":"S0129054118420121BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-014-9931-3"},{"key":"S0129054118420121BIB011","doi-asserted-by":"publisher","DOI":"10.1142\/9789814447133_0012"},{"key":"S0129054118420121BIB012","doi-asserted-by":"publisher","DOI":"10.1134\/S0081543811060083"},{"key":"S0129054118420121BIB013","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054111008088"},{"key":"S0129054118420121BIB015","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2015.01.005"},{"key":"S0129054118420121BIB017","first-page":"342","author":"Spehner J.-C.","year":"1986","journal-title":"Semigroups"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054118420121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T12:58:46Z","timestamp":1565182726000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054118420121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":14,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2018,8,21]]},"published-print":{"date-parts":[[2018,8]]}},"alternative-id":["10.1142\/S0129054118420121"],"URL":"https:\/\/doi.org\/10.1142\/s0129054118420121","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8]]}}}