LARA Lecture 15: Quantifier Elimination for Presburger Arithmetic and Beyond Introduction Simple QE for Integer Difference Inequalities Extending Languages of Decidable Theories Presburger Arithmetic Definition of Presburger Arithmetic QE for Presburger Arithmetic Remarks List of Theories Admitting QE
