{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:36Z","timestamp":1725662856215},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:26:48Z","timestamp":1330190808000},"page":"117-134","source":"Crossref","is-referenced-by-count":2,"title":["Top-down tree-transducers for infinite trees I"],"prefix":"10.1007","author":[{"given":"J.","family":"Bilstein","sequence":"first","affiliation":[]},{"given":"W.","family":"Damm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","first-page":"164","volume":"52","author":"W. Damm","year":"1977","unstructured":"DAMM, W. Languages defined by higher type program schemes, 4 th international colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 52 (1977), 164\u2013179, Springer Verlag","journal-title":"4 th international colloquium on Automata, Languages and Programming"},{"key":"8_CR2","unstructured":"DAMM, W. The IO-and OI-Hierarchies, Schriften zur Informatik und Angewandten Mathematik, Bericht Nr. 41 (1980), RWTH Aachen"},{"key":"8_CR3","unstructured":"DAMM, W. Top-down tree transducers for infinite trees, in preparation"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"DAMM, W. \/ FEHR, E. On the power of self application and higher type recursion, Proc. 5th international colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science Science 62 (1978), 177\u2013191, Springer Verlag","DOI":"10.1007\/3-540-08860-1_14"},{"key":"8_CR5","unstructured":"DAMM, W. \/ FEHR, E. A schematological approach to the analysis of the procedure concept in ALGOL-languages, Proc. 5 i\u00e8me colloque sur les Arbres en Algebre et en Programmation, Lille, (1980), 130\u2013134 (abstract)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"DAMM, W. \/ GUESSARIAN, I. Combining T and level-N, LITP-report, Universite' Paris VII, (1981), to appear","DOI":"10.1007\/3-540-10856-4_92"},{"issue":"3","key":"8_CR7","first-page":"328","volume":"15","author":"J. Engelfriet","year":"1977","unstructured":"ENGELFRIET, J. \/ SCHMIDT, E.M. IO and OI, JCSS Vol. 15, 3 (1977), 328\u2013353 and Vol. 16, 1 (1978), 67\u201399","journal-title":"JCSS"},{"key":"8_CR8","unstructured":"FEHR, E. Lambda calculus as control structure of programming languages, Schriften zur Informatik und Angewandten Mathematik, Bericht Nr. 57 (1980), RWTH Aachen"},{"issue":"1","key":"8_CR9","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"GOGUEN, J.A. \/ THATCHER, J.W. \/ WAGNER, E.G. \/ WRIGHT, J.B., Initial Algebra Semantics and Continuous Algebras JACM Vol. 24, 1 (1977), 68\u201395","journal-title":"JACM"},{"key":"8_CR10","first-page":"409","volume":"8","author":"T.S.E. Maibaum","year":"1974","unstructured":"MAIBAUM, T.S.E. A generalized approach to formal languages, JCSS Vol. 8, (1974), 409\u2013439","journal-title":"JCSS"},{"key":"8_CR11","unstructured":"NIVAT, M. On the interpretation of recursive program schemes, Atti del convegno d'Informatica theoretica (1972), Rome"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"SCOTT, D. The Lattice of Flow Diagrams, Symp. on Semantics of Algorithmic Languages, (ed. E. Engeler), Lecture Notes in Math. Vol. 188 (1971), 311\u2013366, Springer Verlag","DOI":"10.1007\/BFb0059703"}],"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_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:28Z","timestamp":1605643408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}