Activité
Du 20/03/2017 au 18/04/2017
18/04/2017
- 19:45 Révision 185
- 01:46 Révision 184
- 00:38 Révision 183: completed the list of Basic axioms, following Buss, in the appendix
17/04/2017
- 22:52 Révision 182: Revised the definitions at the beginning of sect 4, and added after Def 14 a comme...
16/04/2017
- 16:32 Révision 181: Modified lemma 19 on well-typed proofs, and gave a proof sketch.
- 00:32 Révision 180: Modified sequent calculus rules (weakening in axioms)
14/04/2017
- 01:19 Révision 179: .
13/04/2017
- 14:18 Révision 178: B^i sequent calculus
- 12:11 Révision 177: added polynomial induction definition
- 01:45 Révision 176
- 00:14 Révision 175: .
- 00:12 Révision 174: added the sequent calculus rules and a free-cut elimination theorem
12/04/2017
- 17:33 Révision 173: witness functions
- 17:22 Révision 172: characteristic functions
- 12:21 Révision 171
11/04/2017
10/04/2017
- 11:13 Révision 169
06/04/2017
- 22:34 Révision 168
- 15:47 Révision 167: .
- 01:35 Révision 166
03/04/2017
- 10:07 Révision 165
30/03/2017
29/03/2017
- 22:41 Révision 162: .
- 22:32 Révision 161: preliminaries: definitions PH
- 16:16 Révision 160: added in preliminaries the polychecking lemma
- 12:42 Révision 159: added definitions mubc
28/03/2017
- 21:49 Révision 158
- 15:44 Révision 157
- 01:53 Révision 156
27/03/2017
- 18:11 Révision 155
- 17:47 Révision 154: added basic template
- 17:44 Révision 153
- 17:21 Révision 152: added csl17 dir
- 16:45 Révision 151
- 16:42 Révision 150: rough draft done with goals at end - now move onto paper
23/03/2017
- 18:29 Révision 149
- 15:05 Révision 148
- 14:55 Révision 147
- 11:18 Révision 146
- 11:17 Révision 145
Formats disponibles : Atom