Activité
Du 16/04/2016 au 15/05/2016
21/04/2016
18/04/2016
- 14:23 Révision 110
- 10:59 Révision 109
- 01:57 Révision 108
- 01:27 Révision 107
- 01:25 Révision 106: revised sect 3
- 01:05 Révision 105: bc-convergence appendix
- 00:32 Révision 104
- 00:19 Révision 103
- 00:19 Révision 102
- 00:17 Révision 101: draft
- 00:14 Révision 100: .
- 00:14 Révision 99
- 00:13 Révision 98
- 00:11 Révision 97
- 00:02 Révision 96: sect 5: simultaneous PRN
17/04/2016
- 23:51 Révision 95: sect 5: BC=FP
- 23:35 Révision 94: partly revised sect 5
- 22:31 Révision 93
- 21:51 Révision 92
- 20:37 Révision 91
- 20:31 Révision 90: wfm
- 17:40 Révision 89
- 15:42 Révision 88: arithmetic section finished
- 10:40 Révision 87
- 00:24 Révision 86: references in introduction
16/04/2016
- 23:37 Révision 85: related work
- 23:21 Révision 84: .
- 20:59 Révision 83: conclusions
- 03:10 Révision 82: .
- 02:14 Révision 81: .
- 01:21 Révision 80: .
- 00:59 Révision 79: Added 2 lemmas in sect 3 for the proof of free-cut elimination
Formats disponibles : Atom