Conference item
Scans and Convolutions—A Calculational Proof of Moessner's Theorem
Actions
Access Document
- Publisher copy:
- 10.1007/978-3-642-24452-0_1
Authors
- Publisher:
- Springer−Verlag
- Host title:
- Post−proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)
- Volume:
- 5836
- Publication date:
- 2011-01-01
- DOI:
- UUID:
-
uuid:ea51f5eb-bf88-4971-8b0b-59827b4645f5
- Local pid:
-
cs:8037
- Deposit date:
-
2015-03-31
- 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