Statistiques
| Révision :

root / CSL16 @ 58

Nom Taille Révision Âge Auteur Commentaire
appendix.tex 14,33 ko 33 plus de 9 ans Anupam Das added main and input files
arithmetic.tex 9,92 ko 58 plus de 9 ans Anupam Das
bc-convergence.tex 14,05 ko 56 plus de 9 ans Patrick Baillot updated 5.1, and first thm of 5.2
biblio.bib 1,19 ko 52 plus de 9 ans Patrick Baillot .
cc-by.pdf 58,48 ko 2 plus de 9 ans Anupam Das added files
conclusions.tex 21 octet 33 plus de 9 ans Anupam Das added main and input files
feas-arith-wfm.tex 67,48 ko 43 plus de 9 ans Anupam Das
free-cut-elim.tex 14,35 ko 54 plus de 9 ans Anupam Das
further-work.tex 182 octet 33 plus de 9 ans Anupam Das added main and input files
introduction.tex 8,89 ko 53 plus de 9 ans Anupam Das
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 2,92 ko 54 plus de 9 ans Anupam Das
main.tex 3,84 ko 47 plus de 9 ans Anupam Das
preliminaries.tex 12,05 ko 54 plus de 9 ans Anupam Das
virginialake.sty 95,44 ko 2 plus de 9 ans Anupam Das added files
wfm.tex 21,4 ko 58 plus de 9 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
58 15/04/2016 09:01 Anupam Das
57 15/04/2016 01:18 Anupam Das
56 14/04/2016 23:51 Patrick Baillot

updated 5.1, and first thm of 5.2
55 14/04/2016 23:35 Patrick Baillot

BC defined on words
54 14/04/2016 18:49 Anupam Das
53 14/04/2016 16:23 Anupam Das
52 14/04/2016 14:44 Patrick Baillot

.
51 14/04/2016 11:32 Patrick Baillot

Intro continued
50 14/04/2016 11:01 Anupam Das

convergence stuff
49 14/04/2016 10:45 Patrick Baillot

wrote a beginning for the introduction

Voir les révisions

Formats disponibles : Atom