{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:49:29Z","timestamp":1743072569222,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031661587"},{"type":"electronic","value":"9783031661594"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-66159-4_1","type":"book-chapter","created":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T09:01:34Z","timestamp":1721984494000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Word Equations, Constraints, and\u00a0Formal Languages"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9451-1471","authenticated-orcid":false,"given":"Laura","family":"Ciobanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,27]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Abdulla, P.A., et al.: String Constraints for Verification. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 150\u2013166. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_10","DOI":"10.1007\/978-3-319-08867-9_10"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Amadini, R.: A survey on string constraint solving. ACM Comput. Surv. 55(1) (2021)","DOI":"10.1145\/3484198"},{"issue":"4","key":"1_CR3","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1002\/malq.19880340410","volume":"34","author":"JR B\u00fcchi","year":"1988","unstructured":"B\u00fcchi, J.R., Senger, S.: Definability in the existential theory of concatenation and undecidable extensions of this theory. Zeitschrift mathematische Logik Grundlagen Math. 34(4), 337\u2013342 (1988)","journal-title":"Zeitschrift mathematische Logik Grundlagen Math."},{"key":"1_CR4","unstructured":"Ciobanu, L., Evetts, A., Levine, A.: Effective equation solving, constraints and growth in virtually abelian groups (2023). https:\/\/arxiv.org\/abs\/2309.00475"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Ciobanu, L., Garretta, A.: Group equations with abelian predicates. Int. Math. Res. Not. 2024(5), 4119\u20134159 (2024). https:\/\/arxiv.org\/abs\/2204.13946","DOI":"10.1093\/imrn\/rnad179"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Ciobanu, L., Levine, A.: Languages, Groups and Equations, Languages and Automata: Gagta Book 3 (2024). https:\/\/arxiv.org\/abs\/2303.07825","DOI":"10.1515\/9783110984323-002"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Ciobanu, L., Diekert, V., Elder, M.: Solution sets for equations over free groups are EDT0L languages. Internat. J. Algebra Comput. 26, 843\u2013 886 (2016). Conference Abstract in ICALP 2015. LNCS, vol. 9135 with full version on ArXiv e-prints: abs\/1502.03426","DOI":"10.1142\/S0218196716500363"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.jalgebra.2018.10.044","volume":"545","author":"L Ciobanu","year":"2020","unstructured":"Ciobanu, L., Holt, D., Rees, S.: Equations in groups that are virtually direct products. J. Algebra 545, 88\u201399 (2020). MR4044690","journal-title":"J. Algebra"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Ciobanu, L., Zetzsche, G.: Slice closures of indexed languages and word equations with counting constraints. In: Proceedings of the Thirty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2024) (2024, to appear)","DOI":"10.1145\/3661814.3662134"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11856-009-0084-z","volume":"173","author":"F Dahmani","year":"2009","unstructured":"Dahmani, F.: Existential questions in (relatively) hyperbolic groups. Israel J. Math. 173, 91\u2013124 (2009). MR2570661","journal-title":"Israel J. Math."},{"issue":"2","key":"1_CR11","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1112\/jtopol\/jtq010","volume":"3","author":"F Dahmani","year":"2010","unstructured":"Dahmani, F., Guirardel, V.: Foliations for solving equations in groups: free, virtually free, and hyperbolic groups. J. Topol. 3(2), 343\u2013404 (2010)","journal-title":"J. Topol."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Day, J.D., Ganesh, V., He, P., Manea, F., Nowotka, D.: The satisfiability of word equations: decidable and undecidable theories. In: International Conference on Reachability Problems, pp. 15\u201329 (2018)","DOI":"10.1007\/978-3-030-00250-3_2"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Diekert, V., Guti\u00e9rrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. In: Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2001), Dresden, Germany, pp. 170\u2013182 (2001)","DOI":"10.1007\/3-540-44693-1_15"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1142\/S0218196708004548","volume":"18","author":"V Diekert","year":"2008","unstructured":"Diekert, V., Lohrey, M.: Word equations over graph products. Internat. J. Algebra Comput. 18(3), 493\u2013533 (2008). MR4113851","journal-title":"Internat. J. Algebra Comput."},{"issue":"6","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1142\/S0218196706003372","volume":"16","author":"V Diekert","year":"2006","unstructured":"Diekert, V., Muscholl, A.: Solvability of equations in graph groups is decidable. Internat. J. Algebra Comput. 16(6), 1047\u20131069 (2006). MR2286422","journal-title":"Internat. J. Algebra Comput."},{"issue":"11","key":"1_CR16","doi-asserted-by":"publisher","first-page":"4723","DOI":"10.1090\/proc\/12630","volume":"143","author":"M Duchin","year":"2015","unstructured":"Duchin, M., Liang, H., Shapiro, M.: Equations in nilpotent groups. Proc. Amer. Math. Soc. 143(11), 4723\u20134731 (2015). MR3391031","journal-title":"Proc. Amer. Math. Soc."},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1142\/S0218196722500205","volume":"32","author":"A Evetts","year":"2022","unstructured":"Evetts, A., Levine, A.: Equations in virtually abelian groups: languages and growth. Internat. J. Algebra Comput. 32(3), 411\u2013442 (2022). MR4417480","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-39611-3_21","volume-title":"Hardware and Software: Verification and Testing","author":"V Ganesh","year":"2013","unstructured":"Ganesh, V., Minnes, M., Solar-Lezama, A., Rinard, M.: Word equations with length constraints: what\u2019s decidable? In: Biere, A., Nahir, A., Vos, T. (eds.) HVC 2012. LNCS, vol. 7857, pp. 209\u2013226. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39611-3_21"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Garreta, A., Gray, R.: On equations and first-order theory of one-relator monoids. Inform. and Comput. 281 (2021)","DOI":"10.1016\/j.ic.2021.104745"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S1793525314500095","volume":"6","author":"H Liang","year":"2014","unstructured":"Liang, H.: Equation problem over central extensions of hyperbolic groups. J. Topol. Anal. 6(2), 167\u2013192 (2014). MR3191648","journal-title":"J. Topol. Anal."},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"201","DOI":"10.4171\/ggd\/348","volume":"10","author":"I Lysenok","year":"2016","unstructured":"Lysenok, I., Miasnikov, A., Ushakov, A.: Quadratic equations in the Grigorchuk group. Groups Geom. Dyn. 10(1), 201\u2013239 (2016)","journal-title":"Groups Geom. Dyn."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Lin, A.W.: Quadratic word equations with length constraints, counter systems, and presburger arithmetic with divisibility. Log. Methods Comput. Sci. 17 (2021)","DOI":"10.46298\/lmcs-17(4:4)2021"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Makanin, G.S.: Equations in a free group. Izv. Akad. Nauk SSR Ser. Math. 46, 1199\u20131273 (1983). English transl. in Math. USSR Izv. 21 (1983)","DOI":"10.1070\/IM1983v021n03ABEH001803"},{"issue":"06","key":"1_CR24","doi-asserted-by":"publisher","first-page":"1195","DOI":"10.1142\/S0218196723500558","volume":"33","author":"R Mandel","year":"2023","unstructured":"Mandel, R., Ushakov, A.: Quadratic equations in metabelian Baumslag-Solitar groups. Internat. J. Algebra Comput. 33(06), 1195\u20131216 (2023)","journal-title":"Internat. J. Algebra Comput."},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/BF01241140","volume":"120","author":"E Rips","year":"1995","unstructured":"Rips, E., Sela, Z.: Canonical representatives and equations in hyperbolic groups. Invent. Math. 120(3), 489\u2013512 (1995). MR1334482","journal-title":"Invent. Math."}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66159-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,19]],"date-time":"2024-10-19T08:02:20Z","timestamp":1729324940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66159-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031661587","9783031661594"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66159-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"27 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DLT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Developments in Language Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"G\u00f6ttingen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dlt2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}