{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:06:38Z","timestamp":1743109598277,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642316432"},{"type":"electronic","value":"9783642316449"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-31644-9_7","type":"book-chapter","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T02:17:08Z","timestamp":1342664228000},"page":"99-110","source":"Crossref","is-referenced-by-count":0,"title":["Equations in the Partial Semigroup of Words with Overlapping Products"],"prefix":"10.1007","author":[{"given":"Mari","family":"Huova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juhani","family":"Karhum\u00e4ki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0304-3975(85)90066-0","volume":"41","author":"M.H. Albert","year":"1985","unstructured":"Albert, M.H., Lawrence, J.: A proof of Ehrenfeucht\u2019s conjecture. Theoret. Comput. Sci.\u00a041, 121\u2013123 (1985)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"B\u00fcchi, J.R., Senger, S.: Coding in the existential theory of concatenation. Arch. Math. Logik Grundlag.\u00a026, 101\u2013106 (1986\/1987)","DOI":"10.1007\/BF02017493"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Choffrut, C., Karhum\u00e4ki, J.: Combinatorics of words. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a01, pp. 329\u2013438. Springer (1997)","DOI":"10.1007\/978-3-642-59136-5_6"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.tcs.2006.12.004","volume":"374","author":"E. Csuhaj-Varj\u00fa","year":"2007","unstructured":"Csuhaj-Varj\u00fa, E., Petre, I., Vaszil, G.: Self-assembly of strings and languages. Theoret. Comput. Sci.\u00a0374, 74\u201381 (2007)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR5","first-page":"713","volume":"26","author":"A. C\u0103r\u0103u\u015fu","year":"1981","unstructured":"C\u0103r\u0103u\u015fu, A., P\u0103un, G.: String intersection and short concatenation. Revue Roumaine de Math\u00e9matiques Pures et Appliqu\u00e9es\u00a026, 713\u2013726 (1981)","journal-title":"Revue Roumaine de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-30550-7_14","volume-title":"Developments in Language Theory","author":"M. Domaratzki","year":"2004","unstructured":"Domaratzki, M.: Semantic Shuffle on and Deletion Along Trajectories. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol.\u00a03340, pp. 163\u2013174. Springer, Heidelberg (2004)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1016\/j.ic.2009.02.009","volume":"207","author":"M. Domaratzki","year":"2009","unstructured":"Domaratzki, M.: Minimality in Template-Guided Recombination. Information and Computation\u00a0207, 1209\u20131220 (2009)","journal-title":"Information and Computation"},{"key":"7_CR8","first-page":"321","volume":"40","author":"V.S. Guba","year":"1986","unstructured":"Guba, V.S.: Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems. Mat. Zametki\u00a040, 321\u2013324 (1986) (in Russian)","journal-title":"Mat. Zametki"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Harju, T., Karhum\u00e4ki, J., Plandowski, W.: Independent systems of equations. In: Lothaire, M. (ed.) Algebraic Combinatorics on Words, ch. 13, pp. 443\u2013472. Cambridge University Press (2002)","DOI":"10.1017\/CBO9781107326019.014"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-22321-1_23","volume-title":"Developments in Language Theory","author":"M. Holzer","year":"2011","unstructured":"Holzer, M., Jakobi, S.: Chop Operations and Expressions: Descriptional Complexity Considerations. In: Mauri, G., Leporati, A. (eds.) DLT 2011. LNCS, vol.\u00a06795, pp. 264\u2013275. Springer, Heidelberg (2011)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1002\/malq.200610030","volume":"53","author":"M. Ito","year":"2007","unstructured":"Ito, M., Lischke, G.: Generalized periodicity and primitivity. Mathematical Logic Quarterly\u00a053, 91\u2013106 (2007)","journal-title":"Mathematical Logic Quarterly"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1145\/337244.337255","volume":"47","author":"J. Karhum\u00e4ki","year":"2000","unstructured":"Karhum\u00e4ki, J., Mignosi, F., Plandowski, W.: The expressibility of languages and relations by word equations. J. ACM\u00a047, 483\u2013505 (2000)","journal-title":"J. ACM"},{"key":"7_CR13","unstructured":"Lothaire, M.: Combinatorics on words. Addison-Wesley (1983)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1307\/mmj\/1028998766","volume":"9","author":"R.C. Lyndon","year":"1962","unstructured":"Lyndon, R.C., Sch\u00fctzenberger, M.P.: The equation a M \u2009=\u2009b N c P in a free group. Michigan Math. J.\u00a09, 289\u2013298 (1962)","journal-title":"Michigan Math. J."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Makanin, G.S.: The problem of the solvability of equations in a free semigroup. Mat. Sb. (N.S.) 103, 147\u2013236 (1997) (in Russian), English translation in: Math. USSR-Sb. 32, 129\u2013198 (1977)","DOI":"10.1070\/SM1977v032n02ABEH002376"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0166-218X(98)00002-X","volume":"84","author":"A. Mateescu","year":"1998","unstructured":"Mateescu, A., P\u0103un, G., Rozenberg, G., Salomaa, A.: Simple splicing systems. Discrete Applied Mathematics\u00a084, 145\u2013162 (1998)","journal-title":"Discrete Applied Mathematics"},{"key":"7_CR17","first-page":"71","volume":"45","author":"A. Mateescu","year":"1996","unstructured":"Mateescu, A., Salomaa, A.: Parallel composition of words with re-entrant symbols. Analele Universit\u0103\u0163ii Bucure\u015fti Mathematic\u0103-Informatic\u0103\u00a045, 71\u201380 (1996)","journal-title":"Analele Universit\u0103\u0163ii Bucure\u015fti Mathematic\u0103-Informatic\u0103"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: DNA Computing, New Computing Paradigms. Springer (1998)","DOI":"10.1007\/978-3-662-03563-4"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1145\/990308.990312","volume":"51","author":"W. Plandowski","year":"2004","unstructured":"Plandowski, W.: Satisfiability of word equations with constants is in PSPACE. J. ACM\u00a051, 483\u2013496 (2004)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Languages Alive"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31644-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,11]],"date-time":"2020-07-11T03:53:31Z","timestamp":1594439611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31644-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316432","9783642316449"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31644-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}