{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:18:13Z","timestamp":1742919493248,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319202969"},{"type":"electronic","value":"9783319202976"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-20297-6_12","type":"book-chapter","created":{"date-parts":[[2015,6,22]],"date-time":"2015-06-22T01:55:05Z","timestamp":1434938105000},"page":"173-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Equations over Free Inverse Monoids with Idempotent Variables"],"prefix":"10.1007","author":[{"given":"Volker","family":"Diekert","sequence":"first","affiliation":[]},{"given":"Florent","family":"Martin","sequence":"additional","affiliation":[]},{"given":"G\u00e9raud","family":"S\u00e9nizergues","sequence":"additional","affiliation":[]},{"given":"Pedro V.","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,23]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"912","DOI":"10.1090\/S0002-9939-1968-0232826-3","volume":"19","author":"KI Appel","year":"1968","unstructured":"Appel, K.I.: One-variable equations in free groups. Proc. Amer. Math. Soc. 19, 912\u2013918 (1968)","journal-title":"Proc. Amer. Math. Soc."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1006\/jsco.2000.0426","volume":"31","author":"F Baader","year":"2001","unstructured":"Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31, 277\u2013305 (2001)","journal-title":"J. Symb. Comput."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1515\/JGT.2008.080","volume":"12","author":"D Bormotov","year":"2009","unstructured":"Bormotov, D., Gilman, R., Myasnikov, A.: Solving one-variable equations in free groups. J. Group Theor. 12, 317\u2013330 (2009)","journal-title":"J. Group Theor."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Ciobanu, L., Diekert, V., Elder, M.: Solution sets for equations over free groups are EDT0L languages. arXiv, abs\/1502.03426 (2015)","DOI":"10.1007\/978-3-662-47666-6_11"},{"key":"12_CR5","first-page":"761","volume":"17","author":"T Deis","year":"2007","unstructured":"Deis, T., Meakin, J.C., S\u00e9nizergues, G.: Equations in free inverse monoids. IJAC 17, 761\u2013795 (2007)","journal-title":"IJAC"},{"key":"12_CR6","series-title":"Encyclopedia of Mathematics and its Applications","first-page":"387","volume-title":"Algebraic Combinatorics on Words, Chap. 12","author":"V Diekert","year":"2002","unstructured":"Diekert, V.: Makanin\u2019s Algorithm. In: Lothaire, M. (ed.) Algebraic Combinatorics on Words, Chap. 12. Encyclopedia of Mathematics and its Applications, vol. 90, pp. 387\u2013442. Cambridge University Press, New York (2002)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Computer Science - Theory and Applications","author":"V Diekert","year":"2014","unstructured":"Diekert, V., Je\u017c, A., Plandowski, W.: Finding all solutions of equations in free groups and monoids with involution. In: Hirsch, E.A., Kuznetsov, S.O., Pin, J.\u00c9., Vereshchagin, N.K. (eds.) CSR 2014. LNCS, vol. 8476, pp. 1\u201315. Springer, Heidelberg (2014)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez. C.: Satisfiability of equations in free groups is in PSPACE. In: Proceedings 32nd Annual ACM Symposium on Theory of Computing, STOC\u20192000, pp. 21\u201327. ACM Press (2000)","DOI":"10.1145\/335305.335308"},{"key":"12_CR9","series-title":"LIPIcs","first-page":"233","volume-title":"STACS","author":"A Je\u017c","year":"2013","unstructured":"Je\u017c, A.: Recompression: a simple and powerful technique for word equations. In: Portier, N., Wilke, T. (eds.) STACS. LIPIcs, vol. 20, pp. 233\u2013244. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2013)"},{"key":"12_CR10","first-page":"290","volume":"178","author":"AA Lorents","year":"1968","unstructured":"Lorents, A.A.: Representations of sets of solutions of systems of equations with one unknown in a free group. Dokl. Akad. Nauk. 178, 290\u2013292 (1968). (in Russian)","journal-title":"Dokl. Akad. Nauk."},{"key":"12_CR11","first-page":"147","volume":"103","author":"GS Makanin","year":"1977","unstructured":"Makanin, G.S.: The problem of solvability of equations in a free semigroup. Math. Sbornik 103, 147\u2013236 (1977). English transl. in Math. USSR Sbornik 32 (1977)","journal-title":"Math. Sbornik"},{"key":"12_CR12","first-page":"1199","volume":"46","author":"GS Makanin","year":"1983","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)","journal-title":"Izv. Akad. Nauk SSR, Ser. Math."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1112\/plms\/s3-29.3.385","volume":"29","author":"WD Munn","year":"1974","unstructured":"Munn, W.D.: Free inverse semigroups. Proc. London Math. Soc. 29, 385\u2013404 (1974)","journal-title":"Proc. London Math. Soc."},{"key":"12_CR14","volume-title":"Computatational Complexity","author":"ChH Papadimitriou","year":"1994","unstructured":"Papadimitriou, ChH: Computatational Complexity. Addison Wesley, Massachusetts (1994)"},{"key":"12_CR15","volume-title":"Inverse Semigroups","author":"M Petrich","year":"1984","unstructured":"Petrich, M.: Inverse Semigroups. Wiley, New York (1984)"},{"key":"12_CR16","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. Assoc. Comput. Mach. 51, 483\u2013496 (2004)","journal-title":"J. Assoc. Comput. Mach."},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"860","DOI":"10.1007\/BF00969107","volume":"26","author":"BV Rozenblat","year":"1985","unstructured":"Rozenblat, B.V.: Diophantine theories of free inverse semigroups. Siberian Math. J. 26, 860\u2013865 (1985). Translation from Sibirskii Mat. Zhurnal, volume 26: 101\u2013107, 1985","journal-title":"Siberian Math. J."},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9939-1973-0310093-1","volume":"38","author":"HE Scheiblich","year":"1973","unstructured":"Scheiblich, H.E.: Free inverse semigroups. Proc. Amer. Math. Soc. 38, 1\u20137 (1973)","journal-title":"Proc. Amer. Math. Soc."}],"container-title":["Lecture Notes in Computer Science","Computer Science -- Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20297-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T15:19:38Z","timestamp":1674227978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20297-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319202969","9783319202976"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20297-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}