Activité
Du 06/04/2017 au 05/05/2017
05/05/2017
- 17:21 Révision 262
- 16:47 Révision 261
04/05/2017
- 16:08 Révision 260: .
03/05/2017
- 17:29 Révision 259
- 15:30 Révision 258
- 15:29 Révision 257
- 15:26 Révision 256
- 15:24 Révision 255
- 15:24 Révision 254
- 12:09 Révision 253: .
- 12:02 Révision 252: corrected example 5
02/05/2017
01/05/2017
29/04/2017
- 15:36 Révision 249
- 15:18 Révision 248
- 15:17 Révision 247
- 15:12 Révision 246
- 15:08 Révision 245
- 14:56 Révision 244
- 14:55 Révision 243: .
- 14:50 Révision 242: .
- 14:37 Révision 241: basic functions
- 14:36 Révision 240
- 14:28 Révision 239
- 14:26 Révision 238
- 14:24 Révision 237: predicate 0BIT in sect 3.1
- 14:18 Révision 236
- 14:08 Révision 235
- 13:55 Révision 234
- 13:45 Révision 233: done with completeness
- 13:43 Révision 232: .
- 13:40 Révision 231: .
- 13:22 Révision 230: fixed other basic axioms
- 13:08 Révision 229: done first pass
- 12:24 Révision 228
- 12:04 Révision 227: done with arithmetic
- 11:21 Révision 226: .
- 10:46 Révision 225: done with soundness
- 10:44 Révision 224: Added the completeness proof sketch
- 02:02 Révision 223: down to 12 pages
- 02:00 Révision 222
- 01:40 Révision 221
- 01:36 Révision 220
28/04/2017
- 23:49 Révision 219
- 23:17 Révision 218: .
- 23:10 Révision 217: Added 2 predicates in 4.1
- 18:32 Révision 216: .
- 17:54 Révision 215: graphs of basic functions
- 15:32 Révision 214: some graphs of basic functions
- 14:57 Révision 213: bit(l;x) function
- 14:15 Révision 212: basic function addition
- 00:31 Révision 211: added conclusion
27/04/2017
- 23:16 Révision 210: .
- 23:12 Révision 209: .
- 22:37 Révision 208: .
- 21:58 Révision 207
- 19:18 Révision 206: .
- 18:59 Révision 205
- 16:01 Révision 204: .
- 15:16 Révision 203: intro revised (in progress)
- 15:13 Révision 202
- 14:03 Révision 201
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
Formats disponibles : Atom