Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:definition_of_boolean_algebra_with_presburger_arithmetic [2008/04/16 11:00]
vkuncak
sav08:definition_of_boolean_algebra_with_presburger_arithmetic [2008/04/16 22:46] (current)
vkuncak
Line 1: Line 1:
 ====== Definition of Boolean Algebra with Presburger Arithmetic ====== ====== Definition of Boolean Algebra with Presburger Arithmetic ======
  
-See [[http://​lara.epfl.ch/​~kuncak/​papers/​KuncakETAL06DecidingBooleanAlgebraPresburgerArithmetic.pdf|Figure 3 on page 5 of the paper]] and compare to its special cases: BA and PA. 
  
  
 
sav08/definition_of_boolean_algebra_with_presburger_arithmetic.txt · Last modified: 2008/04/16 22:46 by vkuncak
 
© EPFL 2018 - Legal notice