Statistiques
| Révision :

root / CSL17 @ 229

Nom Taille Révision Âge Auteur Commentaire
  DICE2017_TALK 192 plus de 8 ans Patrick Baillot .
appendix-arithmetic.tex 3,49 ko 227 plus de 8 ans Anupam Das done with arithmetic
appendix-completeness.tex 9,14 ko 226 plus de 8 ans Patrick Baillot .
appendix-sequent-calculus.tex 5,49 ko 227 plus de 8 ans Anupam Das done with arithmetic
appendix-soundness.tex 8,07 ko 225 plus de 8 ans Anupam Das done with soundness
arithmetic.tex 20 ko 229 plus de 8 ans Anupam Das done first pass
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 2,68 ko 224 plus de 8 ans Patrick Baillot Added the completeness proof sketch
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,8 ko 226 plus de 8 ans Patrick Baillot .
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,77 ko 229 plus de 8 ans Anupam Das done first pass
ph-biblio.bib 14,9 ko 219 plus de 8 ans Anupam Das
ph-macros.tex 3,48 ko 227 plus de 8 ans Anupam Das done with arithmetic
preliminaries.tex 15,78 ko 229 plus de 8 ans Anupam Das done first pass
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,59 ko 227 plus de 8 ans Anupam Das done with arithmetic

Dernières révisions

# Date Auteur Commentaire
229 29/04/2017 13:08 Anupam Das

done first pass
228 29/04/2017 12:24 Anupam Das
227 29/04/2017 12:04 Anupam Das

done with arithmetic
226 29/04/2017 11:21 Patrick Baillot

.
225 29/04/2017 10:46 Anupam Das

done with soundness
224 29/04/2017 10:44 Patrick Baillot

Added the completeness proof sketch
223 29/04/2017 02:02 Anupam Das

down to 12 pages
222 29/04/2017 02:00 Anupam Das
221 29/04/2017 01:40 Anupam Das
220 29/04/2017 01:36 Anupam Das

Voir les révisions

Formats disponibles : Atom