Statistiques
| Révision :

root / CSL17 / tech-report @ 270

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

completeness proof : changed case z \neq 0 in the formula for predicative minimisation
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

.
251 02/05/2017 16:25 Anupam Das

added tech report folder