Statistiques
| Révision :

root @ 171

# Date Auteur Commentaire
171 12/04/2017 12:21 Anupam Das
170 11/04/2017 23:00 Patrick Baillot

predicative minimisation
169 10/04/2017 11:13 Anupam Das
168 06/04/2017 22:34 Anupam Das
167 06/04/2017 15:47 Patrick Baillot

.
166 06/04/2017 01:35 Anupam Das
165 03/04/2017 10:07 Anupam Das
164 30/03/2017 12:13 Patrick Baillot

corrected polynomial checking lemma
163 30/03/2017 12:08 Patrick Baillot

+ 1 reference
162 29/03/2017 22:41 Patrick Baillot

.
161 29/03/2017 22:32 Patrick Baillot

preliminaries: definitions PH
160 29/03/2017 16:16 Patrick Baillot

added in preliminaries the polychecking lemma
159 29/03/2017 12:42 Patrick Baillot

added definitions mubc
158 28/03/2017 21:49 Anupam Das
157 28/03/2017 15:44 Anupam Das
156 28/03/2017 01:53 Anupam Das
155 27/03/2017 18:11 Anupam Das
154 27/03/2017 17:47 Anupam Das

added basic template
153 27/03/2017 17:44 Anupam Das
152 27/03/2017 17:21 Anupam Das

added csl17 dir
151 27/03/2017 16:45 Anupam Das
150 27/03/2017 16:42 Anupam Das

rough draft done with goals at end - now move onto paper
149 23/03/2017 18:29 Anupam Das
148 23/03/2017 15:05 Anupam Das
147 23/03/2017 14:55 Anupam Das
146 23/03/2017 11:18 Anupam Das
145 23/03/2017 11:17 Anupam Das
144 09/03/2017 14:16 Anupam Das
143 08/03/2017 22:43 Anupam Das

added soundness file
142 06/03/2017 00:53 Anupam Das

done
141 05/03/2017 22:29 Patrick Baillot

.
140 05/03/2017 22:17 Patrick Baillot

revised the second table of sect 2
139 05/03/2017 17:38 Anupam Das

done for now - section 2 still needs a little work
138 05/03/2017 17:27 Anupam Das
137 05/03/2017 17:11 Anupam Das

done with narrative - only references and tables need to be cleaned up
136 03/03/2017 22:52 Patrick Baillot

added some items in biblio
135 20/02/2017 14:09 Anupam Das
134 18/02/2017 18:24 Anupam Das
133 18/02/2017 18:23 Anupam Das

draft finished
132 18/02/2017 17:42 Anupam Das

done with sects 1 and 2 for now
131 17/02/2017 12:38 Anupam Das
130 17/02/2017 12:33 Anupam Das

reformatted and added intro
129 17/02/2017 12:29 Anupam Das

reformatted and added intro
128 17/02/2017 11:13 Patrick Baillot

added 2 items
127 16/02/2017 17:18 Patrick Baillot

.
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

.