Statistiques
| Révision :

root / CSL17 @ 201

Nom Taille Révision Âge Auteur Commentaire
  DICE2017_TALK 192 plus de 8 ans Patrick Baillot .
appendix-arithmetic.tex 2,56 ko 187 plus de 8 ans Patrick Baillot .
arithmetic.tex 19,1 ko 199 plus de 8 ans Patrick Baillot .
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 8,81 ko 199 plus de 8 ans Patrick Baillot .
conclusions.tex 1,24 ko 166 plus de 8 ans Anupam Das
further.tex 175 octet 168 plus de 8 ans Anupam Das
intro.tex 7,23 ko 156 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 3,7 ko 183 plus de 8 ans Patrick Baillot completed the list of Basic axioms, following B...
ph-biblio.bib 14,06 ko 163 plus de 8 ans Patrick Baillot + 1 reference
ph-macros.tex 3,26 ko 201 plus de 8 ans Anupam Das
preliminaries.tex 10,47 ko 201 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 194 plus de 8 ans Anupam Das
soundness.tex 4,17 ko 201 plus de 8 ans Anupam Das
virginialake.sty 95,44 ko 200 plus de 8 ans Anupam Das added vl

Dernières révisions

# Date Auteur Commentaire
201 27/04/2017 14:03 Anupam Das
200 26/04/2017 19:56 Anupam Das

added vl
199 25/04/2017 18:15 Patrick Baillot

.
198 25/04/2017 18:05 Patrick Baillot

.
197 25/04/2017 15:11 Patrick Baillot

Completeness: recursion step.
196 25/04/2017 14:09 Patrick Baillot

.
195 25/04/2017 14:03 Patrick Baillot

.
194 25/04/2017 12:33 Anupam Das
193 24/04/2017 11:41 Anupam Das
192 22/04/2017 23:51 Patrick Baillot

.

Voir les révisions

Formats disponibles : Atom