Statistiques
| Révision :

root @ 174

Nom Taille Révision Âge Auteur Commentaire
  CSL16 126 environ 9 ans Anupam Das all done
  CSL17 174 plus de 8 ans Patrick Baillot added the sequent calculus rules and a free-cut...
  CharacterizingPH 167 plus de 8 ans Patrick Baillot .
  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
174 13/04/2017 00:12 Patrick Baillot

added the sequent calculus rules and a free-cut elimination theorem
173 12/04/2017 17:33 Anupam Das

witness functions
172 12/04/2017 17:22 Anupam Das

characteristic functions
171 12/04/2017 12:21 Anupam Das
170 11/04/2017 23:00 Patrick Baillot

predicative minimisation
169 10/04/2017 11:13 Anupam Das
168 06/04/2017 22:34 Anupam Das
167 06/04/2017 15:47 Patrick Baillot

.
166 06/04/2017 01:35 Anupam Das
165 03/04/2017 10:07 Anupam Das

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

Formats disponibles : Atom