LARA

This is an old revision of the document!


Lecture 15: Quantifier Elimination for Presburger Arithmetic and Beyond

Introduction

Presburger Arithmetic

Boolean Algebra with Presburger Arithmetic

Remarks