{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T13:13:45Z","timestamp":1720790025210},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s10990-012-9082-7","type":"journal-article","created":{"date-parts":[[2012,8,2]],"date-time":"2012-08-02T09:57:14Z","timestamp":1343901434000},"page":"191-206","source":"Crossref","is-referenced-by-count":4,"title":["A proof of Moessner\u2019s theorem by coinduction"],"prefix":"10.1007","volume":"24","author":[{"given":"M.","family":"Niqui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. J. M. M.","family":"Rutten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,1]]},"reference":[{"key":"9082_CR1","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73235-5","volume-title":"Rational Series and Their Languages","author":"J. Berstel","year":"1988","unstructured":"Berstel, J., Reutenauer, C.: Rational Series and Their Languages. EATCS Monographs on Theoretical Computer Science, vol. 12. Springer, Berlin (1988)"},{"key":"9082_CR2","volume-title":"Concrete Mathematics","author":"R.L. Graham","year":"1994","unstructured":"Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics, 2nd edn. Addison-Wesley, Reading (1994)","edition":"2"},{"key":"9082_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-70594-9_1","volume-title":"Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL\u201908)","author":"R. Hinze","year":"2008","unstructured":"Hinze, R.: Scans and convolutions\u2014a calculational proof of Moessner\u2019s theorem. In: Scholz, S.-B., Chitil, O. (eds.) Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL\u201908). Lecture Notes in Computer Science, vol. 5836, pp. 1\u201324. Springer, Berlin (2008)"},{"issue":"5\u20136","key":"9082_CR4","first-page":"463","volume":"20","author":"R. Hinze","year":"2011","unstructured":"Hinze, R.: Concrete stream calculus: an extended study. J. Funct. Program. 20(5\u20136), 463\u2013535 (2011)","journal-title":"J. Funct. Program."},{"key":"9082_CR5","unstructured":"Moessner, A.: Eine Bemerkung \u00fcber die Potenzen der nat\u00fcrlichen Zahlen. Aus den Sitzungsberichten der Bayerische Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse 1951 Nr. 3 (1951)"},{"key":"9082_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-642-13321-3_18","volume-title":"MPC","author":"M. Niqui","year":"2010","unstructured":"Niqui, M., Rutten, J.J.M.M.: Sampling, splitting and merging in coinductive stream calculus. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC. Lecture Notes in Computer Science, vol. 6120, pp. 310\u2013330. Springer, Berlin (2010)"},{"key":"9082_CR7","unstructured":"Paasche, I.: Ein neuer Beweis des Moessnerschen Satz. Aus den Sitzungsberichten der Bayerische Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse 1952 Nr. 1 (1952)"},{"key":"9082_CR8","unstructured":"Perron, O.: Beweis des Moessnerschen Satz. Aus den Sitzungsberichten der Bayerische Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse 1951 Nr. 4 (1951)"},{"issue":"1","key":"9082_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). Fundamental Study","journal-title":"Theor. Comput. Sci."},{"key":"9082_CR10","doi-asserted-by":"crossref","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. Math. Struct. Comput. Sci. 15, 93\u2013147 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9082_CR11","unstructured":"Sali\u00e9, H.: Bemerkung zum einen Satz von Moessner. Aus den Sitzungsberichten der Bayerische Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse 1952 Nr. 2 (1952)"},{"key":"9082_CR12","first-page":"1146","volume-title":"ISCAS (2)","author":"S. Samadi","year":"2005","unstructured":"Samadi, S., Omair Ahmad, M., Swamy, M.N.S.: Multiplier-free structures for exact generation of natural powers of integers. In: ISCAS (2), pp. 1146\u20131149. IEEE, New York (2005)"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s10990-012-9082-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T22:21:23Z","timestamp":1497997283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-012-9082-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["9082"],"URL":"https:\/\/doi.org\/10.1007\/s10990-012-9082-7","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}