Sciweavers

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

71

Voted

CASC
2007
Springer

favoriteEmaildiscussreport

100views Mathematics» more CASC 2007»

Weak Integer Quantifier Elimination Beyond the Linear Case

15 years 2 months ago

Weak Integer Quantifier Elimination Beyond the Linear Case

Download www.fim.uni-passau.de

Aless Lasaruk, Thomas Sturm

Real-time Traffic

CASC 2007 | Mathematics |

claim paper

Related Content

» New Domains for Applied Quantifier Elimination

» Fractional Collections with Cardinality Bounds and Mixed Linear Arithmetic with Stars

» A ProofProducing Decision Procedure for Real Arithmetic

» Ordered Sets in the Calculus of Data Structures

» Optimization for RealTime Systems with Nonconvex Power Versus Speed Models

Post Info
More Details (n/a)

Added	12 Aug 2010
Updated	12 Aug 2010
Type	Conference
Year	2007
Where	CASC
Authors	Aless Lasaruk, Thomas Sturm

Comments (0)