{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:45:40Z","timestamp":1764557140903},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359074"},{"type":"electronic","value":"9783540359081"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787006_43","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T23:23:09Z","timestamp":1151536989000},"page":"504-515","source":"Crossref","is-referenced-by-count":8,"title":["Theories of HNN-Extensions and Amalgamated Products"],"prefix":"10.1007","author":[{"given":"Markus","family":"Lohrey","sequence":"first","affiliation":[]},{"given":"G\u00e9raud","family":"S\u00e9nizergues","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","volume-title":"Groups Acting on Graphs","author":"W. Dicks","year":"1989","unstructured":"Dicks, W., Dunwoody, M.J.: Groups Acting on Graphs. Cambridge University Press, Cambridge (1989)"},{"issue":"2","key":"43_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.ic.2005.04.002","volume":"202","author":"V. Diekert","year":"2005","unstructured":"Diekert, V., Guti\u00e9rrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. Inf. Comput.\u00a0202(2), 105\u2013140 (2005)","journal-title":"Inf. Comput."},{"key":"43_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-24597-1_14","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"V. Diekert","year":"2003","unstructured":"Diekert, V., Lohrey, M.: Word Equations over Graph Products. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 156\u2013167. Springer, Heidelberg (2003)"},{"issue":"1","key":"43_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s00224-003-1110-x","volume":"37","author":"V. Diekert","year":"2004","unstructured":"Diekert, V., Lohrey, M.: Existential and positive theories of equations in graph products. Theory Comput. Syst.\u00a037(1), 133\u2013156 (2004)","journal-title":"Theory Comput. Syst."},{"key":"43_CR5","unstructured":"V.\u00a0Diekert and A.\u00a0Muscholl. Solvability of equations in free partially commutative groups is decidable. Int. J. Algebra Comput. (to appear 2006)"},{"issue":"5","key":"43_CR6","first-page":"1067","volume":"36","author":"V.G. Durnev","year":"1995","unstructured":"Durnev, V.G.: Undecidability of the positive \u2200\u2009\u2203\u20093-theory of a free semi-group. Sibirsky Matematicheskie Jurnal\u00a036(5), 1067\u20131080 (1995)","journal-title":"Sibirsky Matematicheskie Jurnal"},{"key":"43_CR7","unstructured":"Green, E.R.: Graph Products of Groups. PhD thesis, The University of Leeds (1990)"},{"key":"43_CR8","unstructured":"Khan, B., Myasnikov, A.G., Serbin, D.E.: On positive theories of groups with regular free length function. In: Manuscript (2005)"},{"issue":"14","key":"43_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1090\/S1079-6762-98-00047-X","volume":"4","author":"O.G. Kharlampovich","year":"1998","unstructured":"Kharlampovich, O.G., Myasnikov, A.: Tarski\u2019s problem about the elementary theory of free groups has a positive solution. Electron. Res. Announc. AMS\u00a04(14), 101\u2013108 (1998)","journal-title":"Electron. Res. Announc. AMS"},{"issue":"1-2","key":"43_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0304-3975(96)00321-0","volume":"191","author":"A. Ko\u015bcielski","year":"1998","unstructured":"Ko\u015bcielski, A., Pacholski, L.: Makanin\u2019s algorithm is not primitive recursive. Theor. Comput. Sci.\u00a0191(1-2), 145\u2013156 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"43_CR11","unstructured":"Lohrey, M., S\u00e9nizergues, G.: Equations in HNN-extensions. In: Manuscript (2006)"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Lohrey, M., S\u00e9nizergues, G.: Positive theories of HNN-extensions and amalgamated free products. In: Manuscript (2006)","DOI":"10.1007\/11787006_43"},{"key":"43_CR13","unstructured":"Lohrey, M., S\u00e9nizergues, G.: Rational subsets of HNN-extensions. In: Manuscript (2006)"},{"key":"43_CR14","volume-title":"Combinatorial Group Theory","author":"R.C. Lyndon","year":"1977","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, Heidelberg (1977)"},{"key":"43_CR15","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1070\/IM1983v021n03ABEH001803","volume":"21","author":"G.S. Makanin","year":"1983","unstructured":"Makanin, G.S.: Equations in a free group. Math. USSR, Izv, 21:483\u2013546, English translation (1983)","journal-title":"Math. USSR, Izv"},{"key":"43_CR16","doi-asserted-by":"crossref","unstructured":"Makanin, G.S.: Decidability of the universal and positive theories of a free group. In: Math. USSR, Izv, pp. 75\u201388 (1985)","DOI":"10.1070\/IM1985v025n01ABEH001269"},{"issue":"4","key":"43_CR17","first-page":"25","volume":"5","author":"Y.I. Merzlyakov","year":"1966","unstructured":"Merzlyakov, Y.I.: Positive formulas on free groups(Russian). Algebra i Logika Sem\u00a05(4), 25\u201342 (1966)","journal-title":"Algebra i Logika Sem"},{"key":"43_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D.E. Muller","year":"1983","unstructured":"Muller, D.E., Schupp, P.E.: Groups, the theory of ends, and context-free languages. J. Comput. Syst. Sci.\u00a026, 295\u2013310 (1983)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"43_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(3), 483\u2013496 (2004)","journal-title":"J. ACM"},{"key":"43_CR20","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.\u00a0120, 489\u2013512 (1995)","journal-title":"Invent. Math."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787006_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:17Z","timestamp":1619508017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787006_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359074","9783540359081"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11787006_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}