DMCA

A Unified Formal Description of Arithmetic and Set Theoretical Data Types (2010)

Cached

Download Links

by Paul Tarau
Venue:Intelligent Computer Mathematics, 17th Symposium, Calculemus 2010, 9th International Conference AISC/Calculemus/MKM 2010
Citations:3 - 3 self