LARA More Quantifier Elimination (Continuing Exercise 07) QE for Presburger Arithmetic A tool: Princess List of Theories Admitting QE For Interested Students: Quantifier Elimination for Reals Extending Languages of Decidable Theories Deciding Boolean Algebra with Presburger Arithmetic (Continued in Lecture 08)
