Statistiques
| Révision :

root / CSL17 / tech-report @ 264

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 29,68 ko 263 plus de 8 ans Patrick Baillot proofs of example 20
completeness.tex 13,94 ko 260 plus de 8 ans Patrick Baillot .
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 264 plus de 8 ans Patrick Baillot .
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 17,18 ko 262 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
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

Voir les révisions

Formats disponibles : Atom