{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:24Z","timestamp":1725487104556},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540734437"},{"type":"electronic","value":"9783540734451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73445-1_23","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T06:32:08Z","timestamp":1183444328000},"page":"322-336","source":"Crossref","is-referenced-by-count":5,"title":["Behavioural Differential Equations and Coinduction for Binary Trees"],"prefix":"10.1007","author":[{"given":"Alexandra","family":"Silva","sequence":"first","affiliation":[]},{"given":"Jan","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","first-page":"1","volume-title":"Sequences and their applications, Proceedings of SETA\u201998","author":"J.-P. Allouche","year":"1999","unstructured":"Allouche, J.-P., Shallit, J.: The ubiquitous Prouhet-Thue-Morse sequence. In: Ding, C., Helleseth, T., H., N. (eds.) Sequences and their applications, Proceedings of SETA\u201998, pp. 1\u201316. Springer, Heidelberg (1999)"},{"key":"23_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546563","volume-title":"Automatic sequences: theory, applications, generalizations","author":"J.-P. Allouche","year":"2003","unstructured":"Allouche, J.-P., Shallit, J.: Automatic sequences: theory, applications, generalizations. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"23_CR3","first-page":"219","volume":"8","author":"Z. \u00c9sik","year":"2003","unstructured":"\u00c9sik, Z., Kuich, W.: Formal tree series. Journal of Automata, Languages and Combinatorics\u00a08(2), 219\u2013285 (2003)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"23_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4962-7","volume-title":"Algebraic approaches to program semantics","author":"E.G. Manes","year":"1986","unstructured":"Manes, E.G., Arbib, M.A.: Algebraic approaches to program semantics. Springer, Heidelberg (1986)"},{"key":"23_CR5","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Words, Pure and Applied Mathematics","author":"D. Perrin","year":"2004","unstructured":"Perrin, D., Pin, J.-E.: Infinite Words, Pure and Applied Mathematics. Pure and Applied Mathematics, vol.\u00a0141. Elsevier, Amsterdam (2004)"},{"issue":"1-3","key":"23_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(02)00895-2","volume":"308","author":"J.J.M.M. Rutten","year":"2003","unstructured":"Rutten, J.J.M.M.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theor. Comput. Sci.\u00a0308(1-3), 1\u201353 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"23_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0960129504004517","volume":"15","author":"J.J.M.M. Rutten","year":"2005","unstructured":"Rutten, J.J.M.M.: A coinductive calculus of streams. Mathematical Structures in Computer Science\u00a015(1), 93\u2013147 (2005)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73445-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T16:59:03Z","timestamp":1550422743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73445-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540734437","9783540734451"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73445-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}