Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FLOPS
2008
Springer

favoriteEmaildiscussreport

73views Automated Reasoning» more FLOPS 2008»

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

13 years 5 months ago

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

Download okmij.org

Oleg Kiselyov, William E. Byrd, Daniel P. Friedman

Real-time Traffic

Automated Reasoning | FLOPS 2008 |

claim paper

Related Content

» Query Evaluation in CROQUE Calculus and Algebra Coincide

» Support Vector Inductive Logic Programming

Post Info
More Details (n/a)

Added	26 Oct 2010
Updated	26 Oct 2010
Type	Conference
Year	2008
Where	FLOPS
Authors	Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan

Comments (0)