Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.

Peter Z. Revesz

Browse the full ADBIS paper archive.