Statistiques
| Révision :

root / CSL16 / free-cut-elim.tex @ 239

Historique | Voir | Annoter | Télécharger (20,74 ko)

# Date Auteur Commentaire
121 02/07/2016 16:36 Anupam Das

revised up to end of sect 5
120 02/07/2016 09:54 Anupam Das

some updates
116 01/07/2016 14:06 Patrick Baillot

various minor corrections
110 18/04/2016 14:23 Anupam Das
106 18/04/2016 01:25 Patrick Baillot

revised sect 3
97 18/04/2016 00:11 Anupam Das
82 16/04/2016 03:10 Patrick Baillot

.
81 16/04/2016 02:14 Patrick Baillot

.
80 16/04/2016 01:21 Patrick Baillot

.
79 16/04/2016 00:59 Patrick Baillot

Added 2 lemmas in sect 3 for the proof of free-cut elimination
76 15/04/2016 17:48 Patrick Baillot

definition of anchore cut revised
74 15/04/2016 17:03 Patrick Baillot

.
72 15/04/2016 16:19 Patrick Baillot

.
54 14/04/2016 18:49 Anupam Das
38 08/04/2016 23:02 Patrick Baillot

Revised the case of weak cut in free-cut elimination
33 07/04/2016 18:05 Anupam Das

added main and input files