Statistiques
| Révision :

root / CSL17 / tech-report @ 270

Nom Taille Révision Âge Auteur Commentaire
appendix-sequent-calculus.tex 5,49 ko 251 plus de 8 ans Anupam Das added tech report folder
arithmetic.tex 32,07 ko 267 plus de 8 ans Anupam Das
completeness.tex 16,54 ko 270 plus de 8 ans Patrick Baillot completeness proof : changed case z \neq 0 in t...
conclusions.tex 2,7 ko 251 plus de 8 ans Anupam Das added tech report folder
further.tex 175 octet 251 plus de 8 ans Anupam Das added tech report folder
intro.tex 18,16 ko 254 plus de 8 ans Anupam Das
main.tex 2,62 ko 267 plus de 8 ans Anupam Das
ph-biblio.bib 14,94 ko 260 plus de 8 ans Patrick Baillot .
ph-macros.tex 3,57 ko 251 plus de 8 ans Anupam Das added tech report folder
preliminaries.tex 16,08 ko 260 plus de 8 ans Patrick Baillot .
pv-theories.tex 14,92 ko 251 plus de 8 ans Anupam Das added tech report folder
sequence-coding.tex 3,62 ko 251 plus de 8 ans Anupam Das added tech report folder
soundness.tex 20,24 ko 268 plus de 8 ans Anupam Das
virginialake.sty 95,44 ko 251 plus de 8 ans Anupam Das added tech report folder

Dernières 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
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

.

Voir les révisions

Formats disponibles : Atom