Révision :

Révisions

# Date Auteur Commentaire
270 18/05/2017 12:27 Patrick Baillot

completeness proof : changed case z \neq 0 in the formula for predicative minimisation
269 11/05/2017 11:11 Anupam Das
268 08/05/2017 22:07 Anupam Das
267 08/05/2017 02:00 Anupam Das
266 07/05/2017 11:13 Patrick Baillot

.
265 06/05/2017 16:18 Anupam Das
264 06/05/2017 16:02 Patrick Baillot

.
263 06/05/2017 15:57 Patrick Baillot

proofs of example 20
262 05/05/2017 17:21 Anupam Das
261 05/05/2017 16:47 Anupam Das
260 04/05/2017 16:08 Patrick Baillot

.
259 03/05/2017 17:29 Anupam Das
258 03/05/2017 15:30 Anupam Das
257 03/05/2017 15:29 Anupam Das
256 03/05/2017 15:26 Anupam Das
255 03/05/2017 15:24 Anupam Das
254 03/05/2017 15:24 Anupam Das
253 03/05/2017 12:09 Patrick Baillot

.
252 03/05/2017 12:02 Patrick Baillot

corrected example 5
251 02/05/2017 16:25 Anupam Das

added tech report folder
250 01/05/2017 00:06 Patrick Baillot

proof of minimisation lemma, in appendic completeness
249 29/04/2017 15:36 Anupam Das
248 29/04/2017 15:18 Anupam Das
247 29/04/2017 15:17 Anupam Das
246 29/04/2017 15:12 Anupam Das

1 2 3 ... 11 Suivant » (1-25/270) | Par page : 25, 50, 100

Formats disponibles : Atom