This is an old revision of the document!
Lecture 15: Quantifier Elimination for Presburger Arithmetic and BAPA
Introduction
Presburger Arithmetic
Boolean Algebra with Presburger Arithmetic
Remarks
Definable relations and the use of quantifier-free fragments.
Use of QE for relation composition.
Bibliography.