Statistiques
| Révision :

root / CSL16 @ 65

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 12,73 ko 65 plus de 9 ans Patrick Baillot replaced \nat with \word in sect 4.3
bc-convergence.tex 14,05 ko 60 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 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 3,12 ko 60 plus de 9 ans Anupam Das
main.tex 3,84 ko 47 plus de 9 ans Anupam Das
preliminaries.tex 13,39 ko 63 plus de 9 ans Patrick Baillot example of rule (R) after definition
virginialake.sty 95,44 ko 2 plus de 9 ans Anupam Das added files
wfm.tex 23,74 ko 64 plus de 9 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
65 15/04/2016 14:26 Patrick Baillot

replaced \nat with \word in sect 4.3
64 15/04/2016 14:22 Anupam Das
63 15/04/2016 13:10 Patrick Baillot

example of rule (R) after definition
62 15/04/2016 11:42 Patrick Baillot

Revised conditions on nonlogical rules.
61 15/04/2016 11:39 Anupam Das
60 15/04/2016 11:35 Anupam Das
59 15/04/2016 10:58 Anupam Das
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

Voir les révisions

Formats disponibles : Atom