{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:48Z","timestamp":1725664728893},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:07Z","timestamp":1330279087000},"page":"353-362","source":"Crossref","is-referenced-by-count":4,"title":["Formal parametric equations"],"prefix":"10.1007","author":[{"given":"G. S.","family":"Makanin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Abdulrab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. N.","family":"Maksimenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"unstructured":"General Solution of Mirror Equations. H. Abdulrab et M. Maksimenko. Proceedings of FCT'93 (Fundamentals of Computation Theory). Springer Verlag, LNCS. n: 710, Edited by Prof. Esik, p.p. 133\u2013142.","key":"30_CR1"},{"unstructured":"General Solution of Systems of Linear Diophantine Equations and Inequations. H. Abdulrab and M. Maksimenko, Rewriting Techniques and Applications. Springer Verlag, LNCS. n: 914, Edited by Jieh Hsiang, p.p. 339\u2013351.","key":"30_CR2"},{"key":"30_CR3","doi-asserted-by":"crossref","DOI":"10.1515\/9783111544526","volume-title":"Equations dans le Monode Libre","author":"A. Lentin","year":"1972","unstructured":"Equations dans le Monode Libre. A. Lentin, Gauthier-Villars, Paris 1972."},{"unstructured":"Combinatorics on Word. M. Lothaire, chapter 9, by C. Choffrut, Addisson-Wesley, 1983.","key":"30_CR4"},{"unstructured":"The Systems of Standard Word Equations in the n-layer Alphabet of Variables. (in Russian) G.S. Makanin, Sibirski matematictheski journal, AN SSSR, Sibirskoje otdelenije, vol. XIX, N 3, 1978.","key":"30_CR5"},{"unstructured":"On general solution of equations in a free semigroup. G.S. Makanin, Proceedings of IWWERT'91, Rouen, 667, LNCS. Edited by H. Abdulrab and J.P. Pecuchet, 1991.","key":"30_CR6"},{"unstructured":"Transformations of Word Equations with Three Variables: Rouen's Function. G.S. Makanin, and H. Abdulrab, Rapport LITP 93.44, July 93.","key":"30_CR7"},{"unstructured":"On General Solution of Word Equations. G.S. Makanin, and H. Abdulrab, Proceedings of \u201dImportant Results and Trends in Theoretical Computer Science\u201d, LNCS, N. 812. P.P. 251\u2013263.","key":"30_CR8"},{"unstructured":"Bunches of Formal Parametric Equations with Three Variables. G.S. Makanin, H. Abdulrab and M.N. Maksimenko, LIR, Research rapport, 1994.","key":"30_CR9"},{"key":"30_CR10","first-page":"73","volume":"7","author":"G. Plotkin","year":"1972","unstructured":"Building-in Equational Theories., G. Plotkin, Machine Intelligence 7, P. 73\u201390, 1972.","journal-title":"Machine Intelligence"},{"unstructured":"Unification Theory: a survey. J. Siekmann, in C. Kirchner (Ed.), Special Issue on Unification, JSC 7, 1989 7, P. 73\u201390, 1972.","key":"30_CR11"}],"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-60249-6_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:19Z","timestamp":1619573659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}