Quantifier Elimination for Linear Arithmetic

MaRDI QIDQ7361669FDO

Authors Tobias Nipkow

Publication date 11 January 2008

Cites work

• A Decision Procedure for the First Order Theory of Real Addition with Order
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• Applying Linear Quantifier Elimination
• Unnamed Publication
• Linear Quantifier Elimination

This page was built for software: Quantifier Elimination for Linear Arithmetic