Révision :

Révisions

# Date Auteur Commentaire
45 13/04/2016 14:08 Patrick Baillot

Added a proposal of organization at the beginning
44 13/04/2016 13:01 Patrick Baillot

Added some items in the draft for introduction
43 12/04/2016 19:24 Anupam Das
42 11/04/2016 14:22 Anupam Das
41 11/04/2016 13:57 Anupam Das

completed PRN case
40 11/04/2016 12:42 Anupam Das
39 11/04/2016 09:39 Anupam Das
38 08/04/2016 23:02 Patrick Baillot

Revised the case of weak cut in free-cut elimination
37 08/04/2016 19:30 Anupam Das
36 08/04/2016 16:22 Anupam Das
35 08/04/2016 11:24 Anupam Das
34 08/04/2016 09:59 Anupam Das
33 07/04/2016 18:05 Anupam Das

added main and input files
32 07/04/2016 16:32 Patrick Baillot

.
31 07/04/2016 14:27 Anupam Das
30 07/04/2016 14:25 Patrick Baillot

Completed the free-cut elimination proof
29 07/04/2016 14:12 Anupam Das
28 07/04/2016 14:04 Anupam Das
27 07/04/2016 12:55 Anupam Das
26 07/04/2016 12:28 Anupam Das

recovered previous material
25 07/04/2016 12:14 Anupam Das
24 07/04/2016 11:48 Anupam Das

some conflicts resolved
23 07/04/2016 11:46 Anupam Das
22 07/04/2016 11:44 Patrick Baillot

Moved the proof of free-cut elimination in the right section.
21 07/04/2016 11:27 Patrick Baillot

.

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

Formats disponibles : Atom