Révision :

Révisions

# Date Auteur Commentaire
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

« Précédent 1 ... 3 4 5 6 7 ... 11 Suivant » (101-125/270) | Par page : 25, 50, 100

Formats disponibles : Atom