Sciweavers

68
Voted
CASC
2007
Springer

Weak Integer Quantifier Elimination Beyond the Linear Case

15 years 1 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)