Statistiques
| Révision :

root / CSL17 @ 222

Nom Taille Révision Âge Auteur Commentaire
  DICE2017_TALK 192 plus de 8 ans Patrick Baillot .
appendix-arithmetic.tex 3,06 ko 220 plus de 8 ans Anupam Das
appendix-completeness.tex 31 octet 222 plus de 8 ans Anupam Das
appendix-sequent-calculus.tex 8,08 ko 222 plus de 8 ans Anupam Das
appendix-soundness.tex 6,61 ko 222 plus de 8 ans Anupam Das
arithmetic.tex 13,04 ko 222 plus de 8 ans Anupam Das
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 9,03 ko 217 plus de 8 ans Patrick Baillot Added 2 predicates in 4.1
conclusions.tex 2,39 ko 219 plus de 8 ans Anupam Das
further.tex 175 octet 168 plus de 8 ans Anupam Das
intro.tex 17,73 ko 219 plus de 8 ans Anupam Das
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,76 ko 222 plus de 8 ans Anupam Das
ph-biblio.bib 14,9 ko 219 plus de 8 ans Anupam Das
ph-macros.tex 3,43 ko 219 plus de 8 ans Anupam Das
preliminaries.tex 14,78 ko 220 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 220 plus de 8 ans Anupam Das
soundness.tex 8,78 ko 222 plus de 8 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
222 29/04/2017 02:00 Anupam Das
221 29/04/2017 01:40 Anupam Das
220 29/04/2017 01:36 Anupam Das
219 28/04/2017 23:49 Anupam Das
218 28/04/2017 23:17 Patrick Baillot

.
217 28/04/2017 23:10 Patrick Baillot

Added 2 predicates in 4.1
216 28/04/2017 18:32 Patrick Baillot

.
215 28/04/2017 17:54 Patrick Baillot

graphs of basic functions
214 28/04/2017 15:32 Patrick Baillot

some graphs of basic functions
213 28/04/2017 14:57 Patrick Baillot

bit(l;x) function

Voir les révisions

Formats disponibles : Atom