Logical Aggregation Based on Interpolative Realization of Boolean Algebra.

Dragan G. Radojevic

Published in: EUSFLAT Conf. (1) (2007)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
theorem prover
upper approximation
set theory
inference rules