Statistiques
| Révision :

root @ 270

Nom Taille Révision Âge Auteur Commentaire
  CSL16 203 plus de 8 ans Patrick Baillot intro revised (in progress)
  CSL17 270 plus de 8 ans Patrick Baillot completeness proof : changed case z \neq 0 in t...
  CharacterizingPH 269 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
270 18/05/2017 12:27 Patrick Baillot

completeness proof : changed case z \neq 0 in the formula for predicative minimisation
269 11/05/2017 11:11 Anupam Das
268 08/05/2017 22:07 Anupam Das
267 08/05/2017 02:00 Anupam Das
266 07/05/2017 11:13 Patrick Baillot

.
265 06/05/2017 16:18 Anupam Das
264 06/05/2017 16:02 Patrick Baillot

.
263 06/05/2017 15:57 Patrick Baillot

proofs of example 20
262 05/05/2017 17:21 Anupam Das
261 05/05/2017 16:47 Anupam Das

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

Formats disponibles : Atom