The spectrum of partitions of a Boolean algebra.

Published in: Arch. Math. Log. (2001)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
theorem prover
set theory
upper approximation
pattern recognition
knowledge base
inference rules