{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:01:19Z","timestamp":1767139279766,"version":"build-2238731810"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540568681","type":"print"},{"value":"9783662215517","type":"electronic"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-662-21551-7_26","type":"book-chapter","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T05:30:08Z","timestamp":1658208608000},"page":"343-357","source":"Crossref","is-referenced-by-count":1,"title":["Recursively defined tree transductions"],"prefix":"10.1007","author":[{"given":"Jean-Claude","family":"Raoult","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","first-page":"33","volume":"20","author":"A. Arnold","year":"1982","unstructured":"A. Arnold & M. Dauchet: Morphismes et bimorphismes d'arbres, TCS20, pp. 33\u201393 (1982).","journal-title":"Morphismes et bimorphismes d'arbres, TCS"},{"key":"26_CR2","unstructured":"M. Dauchet: Transductions de fo\u00eats, bimorphismes de magmo\u00efdes, Th\u00e8se, Universit\u00e9 de Lille 1 (1977)."},{"key":"26_CR3","unstructured":"M. Dauchet & S. Tison: Algebraic complexity of Tree Languages. in Tree automata and languages, M. Nivat& A. Podelski ed., Elsevier (1992)."},{"key":"26_CR4","unstructured":"M. Dauchet, S. Tison, T. Heuillard, P. Lescanne: Decidability or the Confluence of Ground Term Rewriting Systems, INRIA report n. 675 (1987)."},{"key":"26_CR5","unstructured":"N. Dershowitz & J.-P. Jouannaud: Rewriting sytems, in Handbook of Theoretical Computer Science, Jan van Leeuwen ed., Elsevier (1990)."},{"issue":"n.3","key":"26_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/BF01704020","volume":"9","author":"J. Engelfriet","year":"1975","unstructured":"J. Engelfriet: Bottom-up and Top-down Tree Transformations \u201d A Comparison, Math. System Theory vol. 9n. 3, pp. 198\u2013231 (1975).","journal-title":"Math. System Theory"},{"key":"26_CR7","volume-title":"Tree automata","author":"F. Gecseg","year":"1984","unstructured":"F. Gecseg & M. Steinby: Tree automata, Akademiai Kiado, Budapest (1984)"},{"key":"26_CR8","unstructured":"A. Grazon & J.-C. Raoult: Equational sets of tree-vectors, IRISA report n. 563, Rennes (1990)."},{"key":"26_CR9","first-page":"81","volume":"51","author":"A. Habel","year":"1987","unstructured":"A. Habel & H.J. Kreowski: Characteristics of graph languages generated by edge replacement, TCS51, pp. 81\u2013115 (1987).","journal-title":"Characteristics of graph languages generated by edge replacement, TCS"},{"key":"26_CR10","unstructured":"J.-C. Raoult: A survey of tree-transductions, in Tree automata and languages, M. Nivat & A. Podelski ed., Elsevier, pp. 311\u2013326 (1992) (and report n. 1410 INRIA-RENNES (1991))."},{"key":"26_CR11","first-page":"202","volume":"33","author":"P. P. Schreiber","year":"1975","unstructured":"P. P. Schreiber: Tree-transducers and syntax-connected transductions, LNCS 33, pp. 202\u2013208 (1975).","journal-title":"LNCS"},{"key":"26_CR12","unstructured":"M. Steinby: On certain algebraically defined tree transformations, in Proc. Coll. Math. Janos Bolyai on Algebra, Combinatorics and Logic in Computer Science, Gy\u00f6r (Hungary), pp. 745\u2013764 (1983)."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-21551-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T05:32:08Z","timestamp":1658208728000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-21551-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568681","9783662215517"],"references-count":12,"aliases":["10.1007\/3-540-56868-9_26"],"URL":"https:\/\/doi.org\/10.1007\/978-3-662-21551-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}