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
Definition of Boolean Algebra with Presburger Arithmetic
Laboratories
Back: Laboratories
LARA
Back: LARA
About
News
IMPRO
Publications
Software
Teaching
Collaboration
Funding
-
Login
Search
Trace:
•
project_04
•
local_higher-order_and_dispatched_procedures
•
amy_specification
•
fixpoints_in_context-free_grammars
•
labs_01
•
proving_correctness_of_some_small_examples
•
grading_infrastructure
•
finite_models_imply_decidability
•
labs_04
•
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
