Sciweavers

CASC
2007
Springer

Weak Integer Quantifier Elimination Beyond the Linear Case

14 years 3 months ago
Weak Integer Quantifier Elimination Beyond the Linear Case
Aless Lasaruk, Thomas Sturm
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where CASC
Authors Aless Lasaruk, Thomas Sturm
Comments (0)