Activité
Du 28/03/2017 au 26/04/2017
26/04/2017
- 19:56 Révision 200: added vl
25/04/2017
- 18:15 Révision 199: .
- 18:05 Révision 198: .
- 15:11 Révision 197: Completeness: recursion step.
- 14:09 Révision 196: .
- 14:03 Révision 195: .
- 12:33 Révision 194
24/04/2017
- 11:41 Révision 193
22/04/2017
- 23:51 Révision 192: .
- 23:40 Révision 191: .
- 07:47 Révision 190: .
- 02:10 Révision 189: .
- 00:48 Révision 188: .
20/04/2017
- 14:54 Révision 187: .
19/04/2017
- 14:53 Révision 186
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
Formats disponibles : Atom