Statistiques
| Révision :

root / CSL16 @ 117

Nom Taille Révision Âge Auteur Commentaire
  draft 103 plus de 9 ans Anupam Das
  submitted 112 plus de 9 ans Anupam Das added submitted version copy
appendix-arithmetic.tex 4,34 ko 113 plus de 9 ans Anupam Das
appendix-bc-convergence.tex 5,19 ko 113 plus de 9 ans Anupam Das
appendix-bc.tex 0 octet 104 plus de 9 ans Anupam Das
appendix-free-cut-elim.tex 28,47 ko 116 plus de 9 ans Patrick Baillot various minor corrections
appendix-preliminaries.tex 1,65 ko 113 plus de 9 ans Anupam Das
appendix-wfm.tex 6,3 ko 113 plus de 9 ans Anupam Das
appendix.tex 14,99 ko 106 plus de 9 ans Patrick Baillot revised sect 3
arithmetic.tex 20,96 ko 116 plus de 9 ans Patrick Baillot various minor corrections
bc-convergence.tex 12,52 ko 110 plus de 9 ans Anupam Das
bc.tex 5,33 ko 116 plus de 9 ans Patrick Baillot various minor corrections
biblio.bib 7,93 ko 117 environ 9 ans Patrick Baillot added biblio item of Marion 2001, and citation ...
cc-by.pdf 58,48 ko 2 plus de 9 ans Anupam Das added files
conclusions.tex 16,63 ko 116 plus de 9 ans Patrick Baillot various minor corrections
free-cut-elim.tex 20,44 ko 116 plus de 9 ans Patrick Baillot various minor corrections
further-work.tex 0 octet 78 plus de 9 ans Anupam Das
introduction.tex 6,66 ko 117 environ 9 ans Patrick Baillot added biblio item of Marion 2001, and citation ...
lipics-logo-bw.pdf 13,42 ko 2 plus de 9 ans Anupam Das added files
lipics-v2016.cls 24,33 ko 2 plus de 9 ans Anupam Das added files
macros.tex 3,41 ko 114 plus de 9 ans Patrick Baillot affiliation+on p. 3 condition on init in 4.
main.tex 4,25 ko 115 plus de 9 ans Patrick Baillot .
preliminaries.tex 17,83 ko 114 plus de 9 ans Patrick Baillot affiliation+on p. 3 condition on init in 4.
virginialake.sty 95,44 ko 2 plus de 9 ans Anupam Das added files
wfm.tex 32,31 ko 116 plus de 9 ans Patrick Baillot various minor corrections

Dernières révisions

# Date Auteur Commentaire
117 01/07/2016 15:21 Patrick Baillot

added biblio item of Marion 2001, and citation to it in introduction
116 01/07/2016 14:06 Patrick Baillot

various minor corrections
115 17/05/2016 16:04 Patrick Baillot

.
114 17/05/2016 15:55 Patrick Baillot

affiliation+on p. 3 condition on init in 4.
113 17/05/2016 15:28 Anupam Das
112 21/04/2016 14:29 Anupam Das

added submitted version copy
111 21/04/2016 14:28 Anupam Das

deleted old feas-arith file
110 18/04/2016 14:23 Anupam Das
109 18/04/2016 10:59 Anupam Das
108 18/04/2016 01:57 Anupam Das

Voir les révisions

Formats disponibles : Atom