{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:58Z","timestamp":1725663238847},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514985"},{"type":"electronic","value":"9783540481805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51498-8_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:00:01Z","timestamp":1330185601000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["On word equations and Makanin's algorithm"],"prefix":"10.1007","author":[{"given":"Habib","family":"Abdulrab","sequence":"first","affiliation":[]},{"given":"Jean-Pierre","family":"P\u00e9cuchet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"1_CR1","unstructured":"H. Abdulrab: R\u00e9solution d'\u00e9quations sur les mots: \u00e9tude et impl\u00e9mentation LISP de l'algorithme de Makanin. (Th\u00e8se), University of Rouen (1987). And Rapport LITP 87-25, University of Paris-7 (1987)."},{"key":"1_CR2","unstructured":"H. Abdulrab: Solving word equations. to appear in RAIRO d'Informatique th\u00e9orique."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0304-3975(85)90066-0","volume":"41","author":"M. H. Albert","year":"1985","unstructured":"M.H. Albert, J. Lawrence: A proof of Ehrenfeucht's conjecture. Theoretical Computer Science 41 p. 121\u2013123, (1985).","journal-title":"Theoretical Computer Science"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0304-3975(86)90175-1","volume":"43","author":"F. Fages","year":"1986","unstructured":"F. Fages, G. Huet: Complete sets of unifiers and matchers in equational theories. Theoretical Computer Science, 43, p. 189\u2013200, (1986).","journal-title":"Theoretical Computer Science"},{"key":"1_CR5","unstructured":"Yu. I. Hmelevskii: Equations in free Semigroups. Trudy Mat. In st. Steklov, 107, (1971)."},{"key":"1_CR6","unstructured":"C. Kirchner: From unification in combination of equational theories to a new AC-Unification algorithm. Proc. of the CREAS, Austin, Texas. (1987)."},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.1515\/9783111544526","volume-title":"\u00c9quations dans le mono\u00efde libre","author":"A. Lentin","year":"1972","unstructured":"A. Lentin: \u00c9quations dans le mono\u00efde libre, Gauthier-Villars, Paris, (1972)."},{"key":"1_CR8","unstructured":"A. Lentin, M.P. Schutzenberger: A combinatorial problem in the theory of free monoids. Proc. of the University of north-Carolina, p. 128\u2013144, (1967)."},{"issue":"145","key":"1_CR9","first-page":"147","volume":"103","author":"G. S. Makanin","year":"1977","unstructured":"G.S. Makanin: The problem of solvability of equations in a free semigroup. Mat. Sb. 103(145) (1977) p. 147\u2013236 English transl. in Math. USSR Sb. 32, (1977).","journal-title":"Mat. Sb."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"G.S. Makanin: Equations in a free group. Math. USSR Izvestiya Vol. 21, No 3, (1983).","DOI":"10.1070\/IM1983v021n03ABEH001803"},{"key":"1_CR11","unstructured":"J.P. P\u00e9cuchet: \u00c9quations avec constantes et algorithme de Makanin. (Th\u00e8se), University of Rouen, (1981)."},{"key":"1_CR12","first-page":"73","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"G. Plotkin: Building-in equational theories. Machine Intelligence 7, p. 73\u201390, (1972).","journal-title":"Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51498-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:03:31Z","timestamp":1619557411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51498-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514985","9783540481805"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51498-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}