Statistiques
| Révision :

root @ 191

Nom Taille Révision Âge Auteur Commentaire
  CSL16 126 environ 9 ans Anupam Das all done
  CSL17 191 plus de 8 ans Patrick Baillot .
  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
191 22/04/2017 23:40 Patrick Baillot

.
190 22/04/2017 07:47 Patrick Baillot

.
189 22/04/2017 02:10 Patrick Baillot

.
188 22/04/2017 00:48 Patrick Baillot

.
187 20/04/2017 14:54 Patrick Baillot

.
186 19/04/2017 14:53 Anupam Das
185 18/04/2017 19:45 Anupam Das
184 18/04/2017 01:46 Anupam Das
183 18/04/2017 00:38 Patrick Baillot

completed the list of Basic axioms, following Buss, in the appendix
182 17/04/2017 22:52 Patrick Baillot

Revised the definitions at the beginning of sect 4, and added after Def 14 a comment about B^i and integer positive formulas.

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

Formats disponibles : Atom