Statistiques
| Révision :

root / CSL17 @ 211

Nom Taille Révision Âge Auteur Commentaire
  DICE2017_TALK 192 plus de 8 ans Patrick Baillot .
appendix-arithmetic.tex 2,56 ko 187 plus de 8 ans Patrick Baillot .
arithmetic.tex 19,12 ko 206 plus de 8 ans Patrick Baillot .
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 8,83 ko 206 plus de 8 ans Patrick Baillot .
conclusions.tex 2,37 ko 211 plus de 8 ans Patrick Baillot added conclusion
further.tex 175 octet 168 plus de 8 ans Anupam Das
intro.tex 16,72 ko 209 plus de 8 ans Patrick Baillot .
lipics-logo-bw.pdf 13,42 ko 152 plus de 8 ans Anupam Das added csl17 dir
lipics-v2016.cls 24,33 ko 152 plus de 8 ans Anupam Das added csl17 dir
main.tex 4,64 ko 209 plus de 8 ans Patrick Baillot .
ph-biblio.bib 14,69 ko 211 plus de 8 ans Patrick Baillot added conclusion
ph-macros.tex 3,26 ko 201 plus de 8 ans Anupam Das
preliminaries.tex 10,47 ko 201 plus de 8 ans Anupam Das
pv-theories.tex 14,92 ko 158 plus de 8 ans Anupam Das
sequence-coding.tex 3,62 ko 194 plus de 8 ans Anupam Das
soundness.tex 8,07 ko 205 plus de 8 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
211 28/04/2017 00:31 Patrick Baillot

added conclusion
210 27/04/2017 23:16 Patrick Baillot

.
209 27/04/2017 23:12 Patrick Baillot

.
208 27/04/2017 22:37 Patrick Baillot

.
207 27/04/2017 21:58 Anupam Das
206 27/04/2017 19:18 Patrick Baillot

.
205 27/04/2017 18:59 Anupam Das
204 27/04/2017 16:01 Patrick Baillot

.
203 27/04/2017 15:16 Patrick Baillot

intro revised (in progress)
202 27/04/2017 15:13 Anupam Das

Voir les révisions

Formats disponibles : Atom