Révision :

Révisions

# Date Auteur Commentaire
95 17/04/2016 23:51 Patrick Baillot

sect 5: BC=FP
94 17/04/2016 23:35 Patrick Baillot

partly revised sect 5
93 17/04/2016 22:31 Anupam Das
92 17/04/2016 21:51 Anupam Das
91 17/04/2016 20:37 Anupam Das
90 17/04/2016 20:31 Anupam Das

wfm
89 17/04/2016 17:40 Anupam Das
88 17/04/2016 15:42 Anupam Das

arithmetic section finished
87 17/04/2016 10:40 Anupam Das
86 17/04/2016 00:24 Patrick Baillot

references in introduction
85 16/04/2016 23:37 Patrick Baillot

related work
84 16/04/2016 23:21 Patrick Baillot

.
83 16/04/2016 20:59 Anupam Das

conclusions
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
78 15/04/2016 18:44 Anupam Das
77 15/04/2016 17:54 Anupam Das
76 15/04/2016 17:48 Patrick Baillot

definition of anchore cut revised
75 15/04/2016 17:26 Anupam Das
74 15/04/2016 17:03 Patrick Baillot

.
73 15/04/2016 16:45 Anupam Das
72 15/04/2016 16:19 Patrick Baillot

.
71 15/04/2016 16:13 Anupam Das

« Précédent 1 ... 6 7 8 9 10 11 Suivant » (176-200/270) | Par page : 25, 50, 100

Formats disponibles : Atom