Statistiques
| Révision :

root / CSL17 / tech-report / completeness.tex @ 270

Historique | Voir | Annoter | Télécharger (16,54 ko)

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

completeness proof : changed case z \neq 0 in the formula for predicative minimisation
267 08/05/2017 02:00 Anupam Das
260 04/05/2017 16:08 Patrick Baillot

.
257 03/05/2017 15:29 Anupam Das
251 02/05/2017 16:25 Anupam Das

added tech report folder