You are here: Home Decision Procedures … Slides Quantifier Elimination

Quantifier Elimination

Quantifier Elimination, Ferrante-Rackow's Method (for rationals), Cooper's Method (for integers)