Statistiques
| Révision :

root @ 238

Nom Taille Révision Âge Auteur Commentaire
  CSL16 203 plus de 8 ans Patrick Baillot intro revised (in progress)
  CSL17 238 plus de 8 ans Anupam Das
  CharacterizingPH 186 plus de 8 ans Anupam Das
  SOUMISSION_DICE 1 plus de 9 ans Patrick Baillot est
aef.tex 4 octet 13 plus de 9 ans Patrick Baillot I added a few dfitinions and statement of main ...

Dernières révisions

# Date Auteur Commentaire
238 29/04/2017 14:26 Anupam Das
237 29/04/2017 14:24 Patrick Baillot

predicate 0BIT in sect 3.1
236 29/04/2017 14:18 Anupam Das
235 29/04/2017 14:08 Anupam Das
234 29/04/2017 13:55 Anupam Das
233 29/04/2017 13:45 Anupam Das

done with completeness
232 29/04/2017 13:43 Patrick Baillot

.
231 29/04/2017 13:40 Patrick Baillot

.
230 29/04/2017 13:22 Anupam Das

fixed other basic axioms
229 29/04/2017 13:08 Anupam Das

done first pass

Voir toutes les révisions | Voir les révisions

Formats disponibles : Atom