LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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.