Activité - Linear Arithmetic - Forge du Centre Blaise Pascal

Activité

Du 17/03/2016 au 15/04/2016

15/04/2016

18:44 Révision 78: Anupam Das
17:54 Révision 77: Anupam Das
17:48 Révision 76: definition of anchore cut revised: Patrick Baillot
17:26 Révision 75: Anupam Das
17:03 Révision 74: .: Patrick Baillot
16:45 Révision 73: Anupam Das
16:19 Révision 72: .: Patrick Baillot
16:13 Révision 71: Anupam Das
16:02 Révision 70: free-cut elimination for guarded quantifiers: Patrick Baillot
15:29 Révision 69: Anupam Das
15:04 Révision 68: stated free-cut elim with guarded quantifiers: Patrick Baillot
14:32 Révision 67: Anupam Das
14:29 Révision 66: .: Patrick Baillot
14:26 Révision 65: replaced \nat with \word in sect 4.3: Patrick Baillot
14:22 Révision 64: Anupam Das
13:10 Révision 63: example of rule (R) after definition: Patrick Baillot
11:42 Révision 62: Revised conditions on nonlogical rules.: Patrick Baillot
11:39 Révision 61: Anupam Das
11:35 Révision 60: Anupam Das
10:58 Révision 59: Anupam Das
09:01 Révision 58: Anupam Das
01:18 Révision 57: Anupam Das

14/04/2016

23:51 Révision 56: updated 5.1, and first thm of 5.2: Patrick Baillot
23:35 Révision 55: BC defined on words: Patrick Baillot
18:49 Révision 54: Anupam Das
16:23 Révision 53: Anupam Das
14:44 Révision 52: .: Patrick Baillot
11:32 Révision 51: Intro continued: Patrick Baillot
11:01 Révision 50: convergence stuff: Anupam Das
10:45 Révision 49: wrote a beginning for the introduction: Patrick Baillot
10:30 Révision 48: Anupam Das
02:09 Révision 47: Anupam Das

13/04/2016

17:29 Révision 46: added new induction rule: Patrick Baillot
14:08 Révision 45: Added a proposal of organization at the beginning: Patrick Baillot
13:01 Révision 44: Added some items in the draft for introduction: Patrick Baillot

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