Journal article
Scans and Convolutions-A Calculational Proof of Moessner's Theorem
- Abstract:
- The paper introduces two corecursion schemes for stream-generating functions, scans and convolutions, and discusses their properties. As an application of the framework, a calculational proof of Paasche's generalisation of Moessner's intriguing theorem is presented. © 2011 Springer-Verlag.
- Publication status:
- Published
Actions
Access Document
- Publisher copy:
- 10.1007/978-3-642-24452-0_1
Authors
- Journal:
- IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES More from this journal
- Volume:
- 5836
- Pages:
- 1-24
- Publication date:
- 2011-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- Language:
-
English
- Pubs id:
-
pubs:328773
- UUID:
-
uuid:ee593ad2-db25-4c2a-b12a-572a6a591222
- Local pid:
-
pubs:328773
- Source identifiers:
-
328773
- Deposit date:
-
2012-12-19
- ARK identifier:
Terms of use
- Copyright date:
- 2011
If you are the owner of this record, you can report an update to it here: Report update to this record