{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:34:20Z","timestamp":1769974460875,"version":"3.49.0"},"reference-count":53,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2008,5]]},"abstract":"<jats:p> For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore, it is shown that the positive theory of a graph product of groups can be reduced to the positive theories of those factors, which commute with all other factors, and the existential theories of the remaining factors. Both results also include suitable constraints for the variables. Larger classes of constraints lead in many cases to undecidability results. <\/jats:p>","DOI":"10.1142\/s0218196708004548","type":"journal-article","created":{"date-parts":[[2008,6,2]],"date-time":"2008-06-02T10:26:32Z","timestamp":1212402392000},"page":"493-533","source":"Crossref","is-referenced-by-count":21,"title":["WORD EQUATIONS OVER GRAPH PRODUCTS"],"prefix":"10.1142","volume":"18","author":[{"given":"VOLKER","family":"DIEKERT","sequence":"first","affiliation":[{"name":"Universit\u00e4t Stuttgart, FMI, Universit\u00e4tsstrasse 38, D-70569 Stuttgart, Germany"}]},{"given":"MARKUS","family":"LOHREY","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Leipzig, Institut f\u00fcr Informatik, Johannisgasse 26, D-04103 Leipzig, Germany"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02088289"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01895842"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01917515"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(91)90139-S"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90037-7"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-09367-1"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-00-02506-X"},{"key":"rf9","first-page":"337","volume":"34","author":"B\u00fcchi J. R.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"rf10","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0079468","volume-title":"Probl\u00e8mes Combinatoires de Commutation et R\u00e9arrangements","volume":"85","author":"Cartier P.","year":"1969"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.04.002"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196702000870"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-003-1110-x"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00313-2"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196706003372"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1142\/2563"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(87)90010-X"},{"key":"rf22","first-page":"1067","volume":"36","author":"Durnev V. G.","journal-title":"Sibirsky Matematicheskie Jurnal"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1201\/9781439865699"},{"key":"rf24","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"Feferman S.","journal-title":"Fund. Math."},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-006-0602-9"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1995.1010"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"rf30","series-title":"EATCS Monographs on Theoretical Computer Science","volume":"14","author":"Jantzen M.","year":"1988"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196707003330"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2006.03.033"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196706003001"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1142\/S021819670200122X"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61896-3"},{"key":"rf37","first-page":"147","volume":"103","author":"Makanin G. S.","journal-title":"Math. Sbornik"},{"key":"rf38","first-page":"1199","volume":"46","author":"Makanin G. S.","journal-title":"Izv. Akad. Nauk SSR, Ser. Math."},{"key":"rf39","first-page":"735","volume":"48","author":"Makanin G. S.","journal-title":"Izv. Akad. Nauk SSSR, Ser. Mat."},{"key":"rf40","first-page":"196","volume":"23","author":"Marchenkov S. S.","journal-title":"Sibirsky Matematicheskie Jurnal"},{"key":"rf42","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1964.14.1343"},{"key":"rf43","first-page":"29","volume":"61","author":"Meier J.","journal-title":"Geometriae Dedicata"},{"key":"rf44","first-page":"25","volume":"5","author":"Merzlyakov Y. I.","journal-title":"Algebra i Logika Sem."},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90049-X"},{"key":"rf48","doi-asserted-by":"publisher","DOI":"10.2307\/1968867"},{"key":"rf49","first-page":"56","volume":"27","author":"Ochma\u0144ski E.","journal-title":"Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS)"},{"key":"rf50","volume-title":"Computational Complexity","author":"Papadimitriou C. H.","year":"1994"},{"key":"rf51","doi-asserted-by":"publisher","DOI":"10.1145\/990308.990312"},{"key":"rf52","unstructured":"M.\u00a0Presburger, Comptes Rendus du Premier Congr\u00e8s des Math\u00e9maticienes des Pays Slaves (Warsaw, 1929)\u00a0pp. 92\u2013101."},{"key":"rf53","doi-asserted-by":"publisher","DOI":"10.2307\/2268308"},{"key":"rf54","first-page":"167","volume":"134","author":"Repin N. N.","journal-title":"Voprosy Kibernetiki (Moskva)"},{"key":"rf55","doi-asserted-by":"publisher","DOI":"10.1007\/BF01241140"},{"key":"rf56","doi-asserted-by":"publisher","DOI":"10.1007\/BF00970391"},{"key":"rf57","doi-asserted-by":"publisher","DOI":"10.1007\/BF00969107"},{"key":"rf58","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90080-6"},{"key":"rf60","doi-asserted-by":"crossref","unstructured":"K. U.\u00a0Schulz, Word Equations and Related Topics, Lecture Notes in Computer Science\u00a0572, ed. K. U.\u00a0Schulz (Springer, 1991)\u00a0pp. 85\u2013150.","DOI":"10.1007\/3-540-55124-7_4"},{"key":"rf62","first-page":"952","volume":"21","author":"Semenov A. L.","journal-title":"Soviet Math. Dokl."},{"key":"rf63","doi-asserted-by":"publisher","DOI":"10.1070\/SM1983v044n01ABEH000954"},{"key":"rf64","doi-asserted-by":"publisher","DOI":"10.1007\/s002330010075"},{"key":"rf65","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2001103"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196708004548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:28:04Z","timestamp":1565130484000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196708004548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":53,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2008,5]]}},"alternative-id":["10.1142\/S0218196708004548"],"URL":"https:\/\/doi.org\/10.1142\/s0218196708004548","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}