Activité - Linear Arithmetic - Forge du Centre Blaise Pascal

Activité

Du 14/03/2016 au 12/04/2016

12/04/2016

19:24 Révision 43: Anupam Das

11/04/2016

14:22 Révision 42: Anupam Das
13:57 Révision 41: completed PRN case: Anupam Das
12:42 Révision 40: Anupam Das
09:39 Révision 39: Anupam Das

08/04/2016

23:02 Révision 38: Revised the case of weak cut in free-cut elimination: Patrick Baillot
19:30 Révision 37: Anupam Das
16:22 Révision 36: Anupam Das
11:24 Révision 35: Anupam Das
09:59 Révision 34: Anupam Das

07/04/2016

18:05 Révision 33: added main and input files: Anupam Das
16:32 Révision 32: .: Patrick Baillot
14:27 Révision 31: Anupam Das
14:25 Révision 30: Completed the free-cut elimination proof: Patrick Baillot
14:12 Révision 29: Anupam Das
14:04 Révision 28: Anupam Das
12:55 Révision 27: Anupam Das
12:28 Révision 26: recovered previous material: Anupam Das
12:14 Révision 25: Anupam Das
11:48 Révision 24: some conflicts resolved: Anupam Das
11:46 Révision 23: Anupam Das
11:44 Révision 22: Moved the proof of free-cut elimination in the right section.: Patrick Baillot
11:27 Révision 21: .: Patrick Baillot
11:02 Révision 20: corrected some mistakes on terminology: active->principal formula: Patrick Baillot

06/04/2016

23:59 Révision 19: Anupam Das
17:00 Révision 18: Updated the proof of free-cut elimination.: Patrick Baillot
14:56 Révision 17: Revised the conditions for the non-logical rules (R), on p.2.: Patrick Baillot

05/04/2016

16:45 Révision 16: Revised the notion of anchored cut.: Patrick Baillot

31/03/2016

23:10 Révision 15: .: Patrick Baillot
17:49 Révision 14: Proof of free-cut elimination is in progress...: Patrick Baillot

30/03/2016

16:30 Révision 13: I added a few dfitinions and statement of main thm in sect 2: Patrick Baillot
13:45 Révision 12: Anupam Das
13:40 Révision 11: Anupam Das
13:34 Révision 10: added sequent calculus for linear logic: Anupam Das

29/03/2016

18:09 Révision 9: Anupam Das
18:05 Révision 8: Anupam Das
17:26 Révision 7: Anupam Das
17:16 Révision 6: Anupam Das
16:58 Révision 5: Anupam Das
13:14 Révision 4: Anupam Das
12:45 Révision 3: Anupam Das
00:11 Révision 2: added files: Anupam Das

23/03/2016

14:33 Révision 1: est: Patrick Baillot

Formats disponibles : Atom