Skip to content
About
Education
Research
Innovation
Schools
Campus
Search on the site
Validate
Show / hide the search form
Search on the site
Hide the search form
EN
Menu
Browse
IC
Laboratories
LARA
LARA
Quantifier Elimination for Boolean Algebra with Presburger Arithmetic
Laboratories
Back: Laboratories
LARA
Back: LARA
About
News
IMPRO
Publications
Software
Teaching
Collaboration
Funding
-
Login
Search
Trace:
•
definition_of_boolean_algebra_with_presburger_arithmetic
•
substitution_theorems_for_propositional_logic
•
review_of_fixpoints_in_semantics
•
correctness_of_a_g_reasoning
•
paxos-wids-bug-1-avoidance-data
•
exists-forall_class_definition
•
abstract_interpretation_of_transition_system
•
por
•
qbf_and_quantifier_elimination
•
quantifier_elimination_for_boolean_algebra_with_presburger_arithmetic
sav09/quantifier_elimination_for_boolean_algebra_with_presburger_arithmetic.txt
· Last modified: 2009/04/22 17:58 by
vkuncak
