Statistiques
| Révision :

root / CSL16 @ 186

# Date Auteur Commentaire
126 04/07/2016 23:22 Anupam Das

all done
125 03/07/2016 23:01 Patrick Baillot

added keywords + classification
124 02/07/2016 17:30 Anupam Das
123 02/07/2016 17:21 Anupam Das
122 02/07/2016 17:19 Anupam Das

finished revision
121 02/07/2016 16:36 Anupam Das

revised up to end of sect 5
120 02/07/2016 09:54 Anupam Das

some updates
119 01/07/2016 18:06 Anupam Das

should be in sync
118 01/07/2016 18:04 Anupam Das

ignore this
117 01/07/2016 15:21 Patrick Baillot

added biblio item of Marion 2001, and citation to it in introduction
116 01/07/2016 14:06 Patrick Baillot

various minor corrections
115 17/05/2016 16:04 Patrick Baillot

.
114 17/05/2016 15:55 Patrick Baillot

affiliation+on p. 3 condition on init in 4.
113 17/05/2016 15:28 Anupam Das
112 21/04/2016 14:29 Anupam Das

added submitted version copy
111 21/04/2016 14:28 Anupam Das

deleted old feas-arith file
110 18/04/2016 14:23 Anupam Das
109 18/04/2016 10:59 Anupam Das
108 18/04/2016 01:57 Anupam Das
107 18/04/2016 01:27 Anupam Das
106 18/04/2016 01:25 Patrick Baillot

revised sect 3
105 18/04/2016 01:05 Anupam Das

bc-convergence appendix
104 18/04/2016 00:32 Anupam Das
103 18/04/2016 00:19 Anupam Das
102 18/04/2016 00:19 Anupam Das
101 18/04/2016 00:17 Anupam Das

draft
100 18/04/2016 00:14 Patrick Baillot

.
99 18/04/2016 00:14 Anupam Das
98 18/04/2016 00:13 Anupam Das
97 18/04/2016 00:11 Anupam Das
96 18/04/2016 00:02 Patrick Baillot

sect 5: simultaneous PRN
95 17/04/2016 23:51 Patrick Baillot

sect 5: BC=FP
94 17/04/2016 23:35 Patrick Baillot

partly revised sect 5
93 17/04/2016 22:31 Anupam Das
92 17/04/2016 21:51 Anupam Das
91 17/04/2016 20:37 Anupam Das
90 17/04/2016 20:31 Anupam Das

wfm
89 17/04/2016 17:40 Anupam Das
88 17/04/2016 15:42 Anupam Das

arithmetic section finished
87 17/04/2016 10:40 Anupam Das
86 17/04/2016 00:24 Patrick Baillot

references in introduction
85 16/04/2016 23:37 Patrick Baillot

related work
84 16/04/2016 23:21 Patrick Baillot

.
83 16/04/2016 20:59 Anupam Das

conclusions
82 16/04/2016 03:10 Patrick Baillot

.
81 16/04/2016 02:14 Patrick Baillot

.
80 16/04/2016 01:21 Patrick Baillot

.
79 16/04/2016 00:59 Patrick Baillot

Added 2 lemmas in sect 3 for the proof of free-cut elimination
78 15/04/2016 18:44 Anupam Das
77 15/04/2016 17:54 Anupam Das
76 15/04/2016 17:48 Patrick Baillot

definition of anchore cut revised
75 15/04/2016 17:26 Anupam Das
74 15/04/2016 17:03 Patrick Baillot

.
73 15/04/2016 16:45 Anupam Das
72 15/04/2016 16:19 Patrick Baillot

.
71 15/04/2016 16:13 Anupam Das
70 15/04/2016 16:02 Patrick Baillot

free-cut elimination for guarded quantifiers
69 15/04/2016 15:29 Anupam Das
68 15/04/2016 15:04 Patrick Baillot

stated free-cut elim with guarded quantifiers
67 15/04/2016 14:32 Anupam Das
66 15/04/2016 14:29 Patrick Baillot

.
65 15/04/2016 14:26 Patrick Baillot

replaced \nat with \word in sect 4.3
64 15/04/2016 14:22 Anupam Das
63 15/04/2016 13:10 Patrick Baillot

example of rule (R) after definition
62 15/04/2016 11:42 Patrick Baillot

Revised conditions on nonlogical rules.
61 15/04/2016 11:39 Anupam Das
60 15/04/2016 11:35 Anupam Das
59 15/04/2016 10:58 Anupam Das
58 15/04/2016 09:01 Anupam Das
57 15/04/2016 01:18 Anupam Das
56 14/04/2016 23:51 Patrick Baillot

updated 5.1, and first thm of 5.2
55 14/04/2016 23:35 Patrick Baillot

BC defined on words
54 14/04/2016 18:49 Anupam Das
53 14/04/2016 16:23 Anupam Das
52 14/04/2016 14:44 Patrick Baillot

.
51 14/04/2016 11:32 Patrick Baillot

Intro continued
50 14/04/2016 11:01 Anupam Das

convergence stuff
49 14/04/2016 10:45 Patrick Baillot

wrote a beginning for the introduction
48 14/04/2016 10:30 Anupam Das
47 14/04/2016 02:09 Anupam Das
46 13/04/2016 17:29 Patrick Baillot

added new induction rule
45 13/04/2016 14:08 Patrick Baillot

Added a proposal of organization at the beginning
44 13/04/2016 13:01 Patrick Baillot

Added some items in the draft for introduction
43 12/04/2016 19:24 Anupam Das
42 11/04/2016 14:22 Anupam Das
41 11/04/2016 13:57 Anupam Das

completed PRN case
40 11/04/2016 12:42 Anupam Das
39 11/04/2016 09:39 Anupam Das
38 08/04/2016 23:02 Patrick Baillot

Revised the case of weak cut in free-cut elimination
37 08/04/2016 19:30 Anupam Das
36 08/04/2016 16:22 Anupam Das
35 08/04/2016 11:24 Anupam Das
34 08/04/2016 09:59 Anupam Das
33 07/04/2016 18:05 Anupam Das

added main and input files
32 07/04/2016 16:32 Patrick Baillot

.
31 07/04/2016 14:27 Anupam Das
30 07/04/2016 14:25 Patrick Baillot

Completed the free-cut elimination proof
29 07/04/2016 14:12 Anupam Das
28 07/04/2016 14:04 Anupam Das
27 07/04/2016 12:55 Anupam Das