Back to Results
First PageMeta Content
Differentiation rules / Number theory / Polynomials / Lie algebras / Smooth functions


CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project UniversitĀ“e Paris Sud / CNRS / INRIA
Add to Reading List

Document Date: 2007-07-13 04:34:22


Open Document

File Size: 295,14 KB

Share Result on Facebook
UPDATE