Back to Results
First PageMeta Content
Compiler optimizations / Linear algebra / Deduction / Entailment / Logical consequence / Metalogic / Transitive closure / Polytope model / FO / Mathematics / Algebra / Logic


Counting Affine Calculator and Applications Sven Verdoolaege INRIA Saclay — Île-de-France Parc Club Orsay Universite, ZAC des vignes 4 rue Jacques Monod, 91893 Orsay, France
Add to Reading List

Document Date: 2011-03-29 07:21:23

Open Document

File Size: 197,43 KB

Share Result on Facebook
UPDATE