Statistiques
| Révision :

root / CSL17 @ 198

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,06 ko 194 plus de 8 ans Anupam Das
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 8,71 ko 198 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,13 ko 197 plus de 8 ans Patrick Baillot Completeness: recursion step.
preliminaries.tex 10,07 ko 198 plus de 8 ans Patrick Baillot .
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 3,91 ko 176 plus de 8 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
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

.
191 22/04/2017 23:40 Patrick Baillot

.
190 22/04/2017 07:47 Patrick Baillot

.
189 22/04/2017 02:10 Patrick Baillot

.

Voir les révisions

Formats disponibles : Atom