Constructive version of Boolean algebra.

Francesco Ciraulo Maria Emilia Maietti Paola Toto

Published in: Log. J. IGPL (2013)

Keyphrases

boolean algebra
cardinality constraints
constraint query languages
theorem prover
set theory
relational databases
expressive power