Lab for Automated Reasoning and Analysis LARA

Lecture 15: Quantifier Elimination for Presburger Arithmetic and Beyond

Introduction

Presburger Arithmetic

Remarks

 
sav08/lecture15.txt · Last modified: 2008/04/16 22:01 by vkuncak
 
© EPFL 2018 - Legal notice