Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
sav08:definition_of_boolean_algebra_with_presburger_arithmetic [2008/04/16 10:57] vkuncak created |
sav08:definition_of_boolean_algebra_with_presburger_arithmetic [2008/04/16 22:46] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Definition of Boolean Algebra with Presburger Arithmetic ====== | ====== Definition of Boolean Algebra with Presburger Arithmetic ====== | ||
| + | |||