{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T07:22:00Z","timestamp":1790320920767,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642327834","type":"print"},{"value":"9783642327841","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32784-1_2","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:59:34Z","timestamp":1344862774000},"page":"20-39","source":"Crossref","is-referenced-by-count":7,"title":["Defining Context-Free Power Series Coalgebraically"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Rutten","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joost","family":"Winter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Allouche, J.-P., Shallit, J.O.: Automatic Sequences \u2013 Theory, Applications, Generalizations. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511546563"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Berstel, J., Reutenauer, C.: Noncommutative Rational Series with Applications. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511760860"},{"issue":"1-3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.apal.2004.10.008","volume":"133","author":"Z. \u00c9sik","year":"2005","unstructured":"\u00c9sik, Z., Lei\u00df, H.: Algebraically complete semirings and Greibach normal form. Annals of Pure and Applied Logic\u00a0133(1-3), 173\u2013203 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR4","first-page":"181","volume":"102","author":"M. Fliess","year":"1974","unstructured":"Fliess, M.: Sur divers produits de sries formelles. Bulletin de la S.M.F.\u00a0102, 181\u2013191 (1974)","journal-title":"Bulletin de la S.M.F."},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10245-0","volume-title":"Context-Free Grammars","author":"A. Nijholt","year":"1980","unstructured":"Nijholt, A.: Context-Free Grammars: Covers, Normal Forms, and Parsing. LNCS, vol.\u00a093. Springer, Heidelberg (1980)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-13321-3_18","volume-title":"Mathematics of Program Construction","author":"M. Niqui","year":"2010","unstructured":"Niqui, M., Rutten, J.: Sampling, Splitting and Merging in Coinductive Stream Calculus. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol.\u00a06120, pp. 310\u2013330. Springer, Heidelberg (2010)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Petre, I., Salomaa, A.: Algebraic systems and pushdown automata. In: Handbook of Weighted Automata, 1st edn., pp. 257\u2013289. Springer (2009)","DOI":"10.1007\/978-3-642-01492-5_7"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/S1571-0661(04)80369-4","volume":"65","author":"J Rutten","year":"2002","unstructured":"Rutten, J.: Coinductive counting: bisimulation in enumerative combinatorics. Electr. Notes Theor. Comput. Sci.\u00a065(1), 286\u2013304 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1-3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(02)00895-2","volume":"308","author":"J. Rutten","year":"2003","unstructured":"Rutten, J.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theoretical Computer Science\u00a0308(1-3), 1\u201353 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0960129504004517","volume":"15","author":"J. Rutten","year":"2005","unstructured":"Rutten, J.: A coinductive calculus of streams. Mathematical Structures in Computer Science\u00a015(1), 93\u2013147 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-22944-2_25","volume-title":"Algebra and Coalgebra in Computer Science","author":"J. Winter","year":"2011","unstructured":"Winter, J., Bonsangue, M.M., Rutten, J.: Context-Free Languages, Coalgebraically. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 359\u2013376. Springer, Heidelberg (2011)"},{"key":"2_CR12","unstructured":"Silva, A., Bonchi, F., Bonsangue, M., Rutten, J.: Generalizing the powerset construction, coalgebraically. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2010. LIPIcs, vol.\u00a08, pp. 272\u2013283 (2010)"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32784-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T09:00:53Z","timestamp":1687683653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32784-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642327834","9783642327841"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32784-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}