Journal article icon

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
Volume:
5836
Pages:
1-24
Publication date:
2011
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:ee593ad2-db25-4c2a-b12a-572a6a591222
Source identifiers:
328773
Local pid:
pubs:328773
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP