{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:41Z","timestamp":1725662861307},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_74","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:25:47Z","timestamp":1330172747000},"page":"340-349","source":"Crossref","is-referenced-by-count":1,"title":["Differents types de derivations infinies dans les grammaires algebriques d'arbres"],"prefix":"10.1007","author":[{"given":"N.","family":"Polian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0022-0000(76)80032-3","volume":"13","author":"A. Arnold","year":"1976","unstructured":"A. Arnold, M. Dauchet. Un th\u00e9or\u00e8me de duplication pour les for\u00eats alg\u00e9briques. J. Comput. System Sci.\n13 (1976) p. 223\u2013244.","journal-title":"J. Comput. System Sci."},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0019-9958(78)90510-7","volume":"37","author":"A. Arnold","year":"1978","unstructured":"A. Arnold, M. Dauchet. For\u00eats alg\u00e9briques et homomorphismes inverses. Information and control\n37 (1978) p. 182\u2013196.","journal-title":"Information and control"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01744297","volume":"13","author":"A. Arnold","year":"1980","unstructured":"A. Arnold, M. Nivat. Formal computations of non-deterministic recursive program schemes. Math. Syst. Theory\n13 (1980) p. 219\u2013236.","journal-title":"Math. Syst. Theory"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"S. Bloom, R. Tindell. Compatible orderings on the metric theory of trees. SIAM J. Comput.Vol. 9, no 4 (Nov. 1980).","DOI":"10.1137\/0209052"},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/S0022-0000(77)80034-2","volume":"15","author":"J. Engelfriet","year":"1977","unstructured":"J. Engelfriet, E.M. Schmidt. IO and OI. J. Comput. System. Sci.\n15 (1977) p. 328\u2013353.","journal-title":"J. Comput. System. Sci."},{"key":"24_CR6","unstructured":"B. Leguy, R\u00e9ductions, transformations et classification des grammaires alg\u00e9briques d'arbres. Th\u00e8se 3\u00e8 cycle, Lille (1980)."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1051\/ita\/1977110403111","volume":"11","author":"M. Nivat","year":"1977","unstructured":"M. Nivat. Mots infinis engendr\u00e9s par une grammaire alg\u00e9brique. RAIRO Informatique th\u00e9orique 11 (1977) p. 311\u2013327 et 12 (1978)p. 259\u2013278.","journal-title":"RAIRO Informatique th\u00e9orique"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"W.C. Rounds. Mapping and Grammars on trees. Math. Syst. Theory\n4, p. 257\u2013287.","DOI":"10.1007\/BF01695769"}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:39:07Z","timestamp":1619541547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}