Statistiques
| Révision :

root / CSL16 @ 76

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 14,65 ko 74 plus de 9 ans Patrick Baillot .
bc-convergence.tex 12,29 ko 75 plus de 9 ans Anupam Das
bc.tex 4,2 ko 73 plus de 9 ans Anupam Das
biblio.bib 1,75 ko 62 plus de 9 ans Patrick Baillot Revised conditions on nonlogical rules.
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 15,27 ko 76 plus de 9 ans Patrick Baillot definition of anchore cut revised
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 3,12 ko 60 plus de 9 ans Anupam Das
main.tex 3,85 ko 71 plus de 9 ans Anupam Das
preliminaries.tex 13,62 ko 75 plus de 9 ans Anupam Das
virginialake.sty 95,44 ko 2 plus de 9 ans Anupam Das added files
wfm.tex 24,57 ko 69 plus de 9 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
76 15/04/2016 17:48 Patrick Baillot

definition of anchore cut revised
75 15/04/2016 17:26 Anupam Das
74 15/04/2016 17:03 Patrick Baillot

.
73 15/04/2016 16:45 Anupam Das
72 15/04/2016 16:19 Patrick Baillot

.
71 15/04/2016 16:13 Anupam Das
70 15/04/2016 16:02 Patrick Baillot

free-cut elimination for guarded quantifiers
69 15/04/2016 15:29 Anupam Das
68 15/04/2016 15:04 Patrick Baillot

stated free-cut elim with guarded quantifiers
67 15/04/2016 14:32 Anupam Das

Voir les révisions

Formats disponibles : Atom