{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:39Z","timestamp":1762458459845},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022264","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"294-308","source":"Crossref","is-referenced-by-count":1,"title":["On existential theories of list concatenation"],"prefix":"10.1007","author":[{"given":"Klaus U.","family":"Schulz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"F. Baader and K.U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings of CADE-11, Springer LNCS 607, 1992.","DOI":"10.1007\/3-540-55602-8_155"},{"key":"22_CR2","series-title":"LNCS 690","first-page":"301","volume-title":"DFKI Research-Report-93-05, German Research Center for AI, Saarbr\u00fccken 1993","author":"F. Baader","year":"1993","unstructured":"F. Baader and K.U. Schulz, \u201cCombination Techniques and Decision Problems for Disunification,\u201d (extended version) DFKI Research-Report-93-05, German Research Center for AI, Saarbr\u00fccken 1993. Short version in Proceedings RTA '93, Montreal, June 1993, LNCS 690. Springer, 1993, pp.301\u2013315."},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BF02017493","volume":"26","author":"J.R. B\u00fcchi","year":"1986\/7","unstructured":"J.R. B\u00fcchi, S. Senger, \u201cCoding in the Existential Theory of Concatenation,\u201d Arch. math. Logik 26 (1986\/7), pp.101\u2013106.","journal-title":"Arch. math. Logik"},{"key":"22_CR4","unstructured":"A. Colmerauer, \u201cEquations and Inequations on Finite and Infinite Trees,\u201d Proceedings of the FGCS'84, pp.85\u201399."},{"key":"22_CR5","unstructured":"A. Ko\u015bcielski, L. Pacholski, \u201cComplexity of Makanin's Algorithms,\u201d Research Report, Universitiy of Wroclaw (1991); preliminary version: \u201cComplexity of Unification in Free Groups and Free Semi-Groups,\u201d Proceedings 31st Annual IEEE Symposium on Foundations of Computer Science, Los Alamos (1990), pp.824\u2013829."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"M.J. Maher, \u201cComplete axiomatizations of the algebras of finite, rational and infinite trees\u201d, In Proc. LICS 3, IEEE Computer Society (1988), pp.348\u2013357.","DOI":"10.1109\/LICS.1988.5132"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"G.S. Makanin, \u201cThe Problem of Solvability of Equations in a Free Semigroup,\u201d Mat. USSR Sbornik 32, 1977.","DOI":"10.1070\/SM1977v032n02ABEH002376"},{"key":"22_CR8","first-page":"1199","volume":"46","author":"G.S. Makanin","year":"1982","unstructured":"G.S. Makanin, \u201cEquations in a Free Group\u201d, Izv. Akad. Nauk SSSR Ser. Mat. 46 (1982), 1199\u20131273; English Translation in Math. USSR Izv. 21 (1983).","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"W.V. Quine","year":"1946","unstructured":"W.V. Quine, \u201cConcatenation as a Basis for Arithmetic,\u201d J. Symbolic Logic 11 (1946), pp.105\u2013114.","journal-title":"J. Symbolic Logic"},{"key":"22_CR10","unstructured":"K.U. Schulz, \u201cConstraints for Lists and Theories of Concatenation\u201d CIS-Report 94-80, Univ. of Munich, 1994."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:43:21Z","timestamp":1586573001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022264"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0022264","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}