Statistiques
| Révision :

root @ 227

Nom Taille Révision Âge Auteur Commentaire
  CSL16 203 plus de 8 ans Patrick Baillot intro revised (in progress)
  CSL17 227 plus de 8 ans Anupam Das done with arithmetic
  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
227 29/04/2017 12:04 Anupam Das

done with arithmetic
226 29/04/2017 11:21 Patrick Baillot

.
225 29/04/2017 10:46 Anupam Das

done with soundness
224 29/04/2017 10:44 Patrick Baillot

Added the completeness proof sketch
223 29/04/2017 02:02 Anupam Das

down to 12 pages
222 29/04/2017 02:00 Anupam Das
221 29/04/2017 01:40 Anupam Das
220 29/04/2017 01:36 Anupam Das
219 28/04/2017 23:49 Anupam Das
218 28/04/2017 23:17 Patrick Baillot

.

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

Formats disponibles : Atom