REVESZ, P. (2004, January 1). Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. Presented at the. Berlin: Springer, 2004. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699
ISO-690 (author-date, English)REVESZ, Peter, 2004. Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. In: [online]. Berlin: Springer, 2004. 1 January 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699
Modern Language Association 9th editionREVESZ, P. Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
REVESZ, P. (2004), “Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints”, in , Vol. , Berlin: Springer, 2004., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=16177699.