A superatomic Boolean algebra with few automorphisms.

Matatyahu Rubin Sabine Koppelberg

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

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
set theory
theorem prover
upper approximation
relational databases
image analysis
object oriented
edge detection