{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:49:36Z","timestamp":1764557376907},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T00:00:00Z","timestamp":1469059200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s00224-016-9693-1","type":"journal-article","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T04:11:52Z","timestamp":1469074312000},"page":"494-520","update-policy":"http:\/\/dx.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","volume":"61","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":[[2016,7,21]]},"reference":[{"key":"9693_CR1","doi-asserted-by":"crossref","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":"9693_CR2","doi-asserted-by":"crossref","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":"9693_CR3","doi-asserted-by":"crossref","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 Theory 12, 317\u2013330 (2009)","journal-title":"J. Group Theory"},{"key":"9693_CR4","doi-asserted-by":"crossref","unstructured":"Ciobanu, L., Diekert, V., Elder, M.: Solution sets for equations over free groups are EDT0L languages. In: Halld\u00f3rsson, M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) Proc. 42nd International Colloquium Automata, Languages and Programming (ICALP 2015), Part II, Kyoto, Japan, July 6-10, 2015, volume 9135 of Lecture Notes in Computer Science, pages 134\u2013145. Springer, p 2015","DOI":"10.1007\/978-3-662-47666-6_11"},{"key":"9693_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":"9693_CR6","doi-asserted-by":"crossref","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., Vereshchagin, N.K. (eds.) Computer Science Symposium in Russia 2014, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, volume 8476 of Lecture Notes in Computer Science, pages 1\u201315. Springer, p. 2014","DOI":"10.1007\/978-3-319-06686-8_1"},{"key":"9693_CR7","doi-asserted-by":"crossref","unstructured":"Diekert, V., Martin, F., S\u0117nizergues, G., Silva, P. V.: Equations over free inverse monoids with idempotent variables. In: Beklemishev, L. D., Musatov, D. V. (eds.) Proc. 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, volume 9139 of Lecture Notes in Computer Science, pages 173\u2013188. Springer, p 2015","DOI":"10.1007\/978-3-319-20297-6_12"},{"key":"9693_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, pages 21\u201327. ACM Press (2000)","DOI":"10.1145\/335305.335308"},{"key":"9693_CR9","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley (1979)"},{"issue":"1","key":"9693_CR10","first-page":"4:1","volume":"63","author":"A Je\u017c","year":"2016","unstructured":"Je\u017c, A.: Recompression: a simple and powerful technique for word equations. J. ACM 63(1), 4:1\u20134:51 (2016). Conference version in STACS 2013","journal-title":"J. ACM"},{"key":"9693_CR11","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. A.ad. Nauk. 178, 290\u2013292 (1968). in Russian","journal-title":"Dokl. A.ad. Nauk."},{"key":"9693_CR12","doi-asserted-by":"crossref","unstructured":"Lothaire, M.: Combinatorics on Words, volume 17 of Encyclopedia of Mathematics and Its Applications. Addison-Wesley, 1983. Reprinted by Cambridge University Press (1997)","DOI":"10.1017\/CBO9780511566097"},{"key":"9693_CR13","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)"},{"key":"9693_CR14","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)"},{"key":"9693_CR15","doi-asserted-by":"crossref","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":"9693_CR16","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison Wesley (1994)"},{"key":"9693_CR17","doi-asserted-by":"crossref","unstructured":"Paterson, A.L.T.: Groupoids, inverse semigroups, and their operator algebras. Progress in Mathematics, 170. Birkh\u00e4user (1999)","DOI":"10.1007\/978-1-4612-1774-9"},{"key":"9693_CR18","unstructured":"Petrich, M.: Inverse semigroups. Wiley (1984)"},{"key":"9693_CR19","doi-asserted-by":"crossref","unstructured":"Plandowski, W.: Satisfiability of word equations with constants is in PSPACE. In: Proc. 40th Ann. Symp. on Foundations of Computer Science, FOCS\u201999, pages 495\u2013500. IEEE Computer Society Press (1999)","DOI":"10.1109\/SFFCS.1999.814622"},{"key":"9693_CR20","doi-asserted-by":"crossref","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 51, 483\u2013496 (2004)","journal-title":"J. ACM"},{"key":"9693_CR21","doi-asserted-by":"crossref","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)","DOI":"10.1007\/BF00969107"},{"key":"9693_CR22","doi-asserted-by":"crossref","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."},{"key":"9693_CR23","unstructured":"Silva, P.V.: Word equations and inverse monoid presentations. In: Kublanovsky, S., Mikhalev, A., Higgins, P., Ponizovskii, J. (eds.) Semigroups and Applications, Including Semigroup Rings. Severny Ochag, St. Petersburg (1999)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-016-9693-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-016-9693-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-016-9693-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-016-9693-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T10:40:47Z","timestamp":1568198447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-016-9693-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,21]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["9693"],"URL":"https:\/\/doi.org\/10.1007\/s00224-016-9693-1","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,21]]}}}