LARA

Definition of Boolean Algebra with Presburger Arithmetic

- Login

Trace: • syntactic_rules_for_hoare_logic • exercices_04 • exercise_14 • abstract_interpretation • guru • a_simple_sound_combination_method • fixpoints_in_context-free_grammars • proving_correctness_of_some_small_examples • finite_models_imply_decidability • definition_of_boolean_algebra_with_presburger_arithmetic

sav08/definition_of_boolean_algebra_with_presburger_arithmetic.txt · Last modified: 2008/04/16 22:46 by vkuncak