{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:36Z","timestamp":1725663636270},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551249"},{"type":"electronic","value":"9783540467373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55124-7_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:48:54Z","timestamp":1330249734000},"page":"171-180","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic and logical aspects of unification"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bockmayr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF00247435","volume":"3","author":"A. Bockmayr","year":"1987","unstructured":"A. Bockmayr. A note on a canonical theory with undecidable unification and matching problem. Journal of Automated Reasoning, 3:379\u2013381, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR2","volume-title":"SEKI SR-89-17","author":"A. Bockmayr","year":"1989","unstructured":"A. Bockmayr. On the decidability of the unification problem. In UNIF 89, Extended Abstracts of the 3rd International Workshop on Unification, Lambrecht (Pfalz), SEKI SR-89-17. Univ. Kaiserslautern, 1989."},{"key":"6_CR3","unstructured":"H. J. B\u00fcrckert and M. Schmidt-Schau\u00df. On the solvability of equational problems. Technical Report SEKI SR-89-07, Univ. Kaiserslautern, June 1989."},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1007\/BF00966439","volume":"15","author":"V. G. Durnev","year":"1974","unstructured":"V. G. Durnev. Positive formulas on free semigroups. Sib. J. Math., 15:796\u2013800, 1974.","journal-title":"Sib. J. Math."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00264362","volume":"24","author":"S. Heilbrunner","year":"1987","unstructured":"S. Heilbrunner and S. H\u00f6lldobler. The undecidability of the unification and matching problem for canonical theories. Acta Inform., 24:157\u2013171, 1987.","journal-title":"Acta Inform."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"G Huet and D. C. Oppen. Equations and rewrite rules, A survey. In R. V. Book, editor, Formal Language Theory. Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"6_CR7","unstructured":"J. P. Jouannaud and C. Kirchner. Solving equations in abstract algebras: A rule-based survey of unification. In J.L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of A. Robinson. MIT Press, 1991."},{"issue":"2","key":"6_CR8","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1070\/SM1977v032n02ABEH002376","volume":"32","author":"G. S. Makanin","year":"1977","unstructured":"G. S. Makanin. The problem of solvability of equations in a free semigroup. Math. USSR Sbornik, 32(2):129\u2013198, 1977.","journal-title":"Math. USSR Sbornik"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1070\/IM1983v021n03ABEH001803","volume":"21","author":"G. S. Makanin","year":"1983","unstructured":"G. S. Makanin. Equations in a free group. Math. USSR Izv., 21:483\u2013546, 1983.","journal-title":"Math. USSR Izv."},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1070\/IM1985v025n01ABEH001269","volume":"25","author":"G. S. Makanin","year":"1985","unstructured":"G. S. Makanin. Decidability of the universal and positive theories of a free group. Math.USSR Izv., 25: 75\u201388, 1985.","journal-title":"Math.USSR Izv."},{"key":"6_CR11","first-page":"196","volume":"23","author":"S. S. Marchenkov","year":"1982","unstructured":"S. S. Marchenkov. Undecidability of the positive \u2200\u2203-theory of a free semigroup (in Russian). Sibirsk. Mat. Zh., 23:196\u2013198, 1982. MR 83e: 03067.","journal-title":"Sibirsk. Mat. Zh."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"W. V. Quine","year":"1946","unstructured":"W. V. Quine. Concatenation as a basis for arithmetic. Journal of Symbolic Logic, 11:105\u2013114, 1946.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1070\/IM1985v025n03ABEH001310","volume":"25","author":"N. N. Repin","year":"1985","unstructured":"N.N. Repin. The solvability problem for equations in one unknown in nilpotent groups. Math. USSR Izv., 25:601\u2013618, 1985.","journal-title":"Math. USSR Izv."},{"key":"6_CR14","first-page":"167","volume":"134","author":"N. N. Repin","year":"1988","unstructured":"N. N. Repin. Some simply presented groups for which an algorithm recognizing solvability of equations is impossible (in Russian). Vopr. Kibern., Mosk., 134:167\u2013175, 1988. MR 89i: 20057.","journal-title":"Vopr. Kibern., Mosk."},{"issue":"1","key":"6_CR15","first-page":"469","volume":"20","author":"V. A. Roman'kov","year":"1979","unstructured":"V. A. Roman'kov. Equations in free metabelian groups. Sib. J. Math., 20(1):469\u2013471, 1979.","journal-title":"Sib. J. Math."},{"issue":"6","key":"6_CR16","doi-asserted-by":"crossref","first-page":"860","DOI":"10.1007\/BF00969107","volume":"26","author":"B. V. Rozenblat","year":"1985","unstructured":"B. V. Rozenblat. Diophantine theories of free inverse semigroups. Sib. J. Math., 26(6):860\u2013864, 1985.","journal-title":"Sib. J. Math."},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J. H. Siekmann","year":"1989","unstructured":"J. H. Siekmann. Unification theory. Journal of Symbolic Computation, 7:207\u2013274, 1989.","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"203","DOI":"10.4064\/fm-41-2-203-271","volume":"41","author":"W. Szmielew","year":"1955","unstructured":"W. Szmielew. Elementary properties of abelian groups. Fund. Math., 41:203\u2013271, 1955.","journal-title":"Fund. Math."},{"key":"6_CR19","unstructured":"A. Tarski. Undecidable Theories (in collaboration with A. Mostowski and R. M. Robinson). North Holland, 1953."},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF02194849","volume":"9","author":"Y. M. Vazhenin","year":"1974","unstructured":"Y. M. Vazhenin. On the elementary theory of free inverse semigroups. Semigroup Forum, 9:189\u2013195, 1974.","journal-title":"Semigroup Forum"},{"key":"6_CR21","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1070\/SM1983v044n01ABEH000954","volume":"44","author":"Y. M. Vazhenin","year":"1983","unstructured":"Y. M. Vazhenin and B. V. Rozenblat. Decidability of the positive theory of a free countably generated semigroup. Math. USSR Sbornik, 44:109\u2013116, 1983.","journal-title":"Math. USSR Sbornik"},{"issue":"3","key":"6_CR22","first-page":"88","volume":"27","author":"Y. M. Vazhenin","year":"1983","unstructured":"Y. M. Vazhenin and B. V. Rozenblat. On positive theories of free algebraic systems. Sov. Math. (Izv. VUZ), 27(3):88\u201391, 1983.","journal-title":"Sov. Math. (Izv. VUZ)"},{"key":"6_CR23","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF01670119","volume":"17","author":"A. P. Zamyatin","year":"1978","unstructured":"A. P. Zamyatin. A non-abelian variety of groups has an undecidable elementary theory. Algebra and Logic, 17:13\u201317, 1978.","journal-title":"Algebra and Logic"}],"container-title":["Lecture Notes in Computer Science","Word Equations and Related Topics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55124-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:05Z","timestamp":1619573285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55124-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551249","9783540467373"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55124-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}