mirage

Parcourir LIP - Laboratoire de l'Informatique du Parallélisme par le sujet "Active-Natural Collapse"

Système d'archivage DSpace/Manakin

Parcourir LIP - Laboratoire de l'Informatique du Parallélisme par le sujet "Active-Natural Collapse"

Tri par : Ordre : Résultats :

  • Laboratoire de l'informatique du parallélisme; Fournier, Hervé (2001-02)
    (eng) We prove some lower bounds for quantifier rank of formulas expressing parity of a finite set I of bounded cardinal embedded in an algebraically closed field or an ordered Q-vector space. We show that these bounds are ...

Recherche


Recherche avancée

Parcourir

Mon compte

Bookmark and Share