{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:04:49Z","timestamp":1767337489932,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319068794"},{"type":"electronic","value":"9783319068800"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06880-0_19","type":"book-chapter","created":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T04:26:34Z","timestamp":1400819194000},"page":"363-383","source":"Crossref","is-referenced-by-count":1,"title":["A Final Coalgebra for k-regular Sequences"],"prefix":"10.1007","author":[{"given":"Helle Hvid","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Kupke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Rutten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(92)90001-V","volume":"98","author":"J.-P. Allouche","year":"1992","unstructured":"Allouche, J.-P., Shallit, J.O.: The ring of k-regular sequences. Theoretical Computer Science\u00a098, 163\u2013197 (1992)","journal-title":"Theoretical Computer Science"},{"key":"19_CR2","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":"19_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(03)00090-2","volume":"307","author":"J.-P. Allouche","year":"2003","unstructured":"Allouche, J.-P., Shallit, J.O.: The ring of k-regular sequences, II. Theoretical Computer Science\u00a0307, 3\u201329 (2003)","journal-title":"Theoretical Computer Science"},{"key":"19_CR4","unstructured":"Bartels, F.: On Generalized Coinduction and Probabilistic Specification Formats. PhD thesis, Vrije Universiteit Amsterdam (2004)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1016\/j.aam.2004.11.004","volume":"34","author":"J.P. Bell","year":"2005","unstructured":"Bell, J.P.: On the values attained by a k-regular sequence. Advances in Applied Mathematics\u00a034, 634\u2013643 (2005)","journal-title":"Advances in Applied Mathematics"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Berstel, J., Reutenauer, C.: Noncommutative Rational Series with Applications. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511760860"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-32784-1_2","volume-title":"Coalgebraic Methods in Computer Science","author":"M.M. Bonsangue","year":"2012","unstructured":"Bonsangue, M.M., Rutten, J., Winter, J.: Defining context-free power series coalgebraically. In: Pattinson, D., Schr\u00f6der, L. (eds.) CMCS 2012. LNCS, vol.\u00a07399, pp. 20\u201339. Springer, Heidelberg (2012)"},{"issue":"8","key":"19_CR8","doi-asserted-by":"publisher","first-page":"1845","DOI":"10.1142\/S0129054111009070","volume":"22","author":"Z. \u00c9sik","year":"2011","unstructured":"\u00c9sik, Z., Maletti, A.: The category of simulations for weighted tree automata. International Journal of Foundations of Computer Science (IJFCS)\u00a022(8), 1845\u20131859 (2011)","journal-title":"International Journal of Foundations of Computer Science (IJFCS)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Grabmayer, C., Endrullis, J., Hendriks, D., Klop, J.W., Moss, L.S.: Automatic sequences and zip-specifications. In: Proceedings of Logic in Computer Science (LICS 2012), pp. 335\u2013344. IEEE Computer Society Press (2012)","DOI":"10.1109\/LICS.2012.44"},{"key":"19_CR10","unstructured":"Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (1994)"},{"issue":"5-6","key":"19_CR11","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1017\/S0956796810000213","volume":"20","author":"R. Hinze","year":"2011","unstructured":"Hinze, R.: Concrete stream calculus\u2014an extended study. Journal of Functional Programming\u00a020(5-6), 463\u2013535 (2011)","journal-title":"Journal of Functional Programming"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Kupke, C., Rutten, J.J.M.M.: On the final coalgebra of automatic sequences. In: Constable, R.L., Silva, A. (eds.) Kozen Festschrift. LNCS, vol.\u00a07230, pp. 149\u2013164. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-29485-3_10"},{"issue":"2-4","key":"19_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0020-0190(00)00201-5","volume":"77","author":"M. Douglas McIlroy","year":"2001","unstructured":"Douglas McIlroy, M.: The music of streams. Information Processing Letters\u00a077(2-4), 189\u2013195 (2001)","journal-title":"Information Processing Letters"},{"key":"19_CR14","unstructured":"Mendler, N.P., Panangaden, P., Constable, R.L.: Infinite objects in type theory. In: Proceedings of Logic in Computer Science (LICS 1986), pp. 249\u2013255. IEEE Computer Society Press (1986)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.tcs.2008.02.018","volume":"400","author":"Y. Moshe","year":"2008","unstructured":"Moshe, Y.: On some questions regarding k-regular and k-context-free sequences. Theoretical Computer Science\u00a0400, 62\u201369 (2008)","journal-title":"Theoretical Computer Science"},{"key":"19_CR16","unstructured":"Rajopadhye, S.V., Panangaden, P.: Verification of systolic arrays: A stream function approach. In: International Conference on Parallel Processing (ICPP 1986), pp. 773\u2013775. IEEE Computer Society Press (1986)"},{"issue":"1","key":"19_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249(1), 3\u201380 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"1-3","key":"19_CR18","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"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Silva, A., Bonchi, F., Bonsangue, M., Rutten, J.: Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science\u00a09(1) (2013)","DOI":"10.2168\/LMCS-9(1:9)2013"},{"key":"19_CR20","unstructured":"Stephan, R.: Divide-and-conquer generating functions. Part I. Elementary sequences. ArXiv Mathematics e-prints (July 2003)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-3-642-40206-7_30","volume-title":"CALCO 2013","author":"J. Winter","year":"2013","unstructured":"Winter, J.: QStream: a suite of streams. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol.\u00a08089, pp. 353\u2013358. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Horizons of the Mind. A Tribute to Prakash Panangaden"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06880-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T10:36:19Z","timestamp":1689244579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06880-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068794","9783319068800"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06880-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}