Statistiques
| Révision :

root / CSL17 @ 238

Nom Taille Révision Âge Auteur Commentaire
  DICE2017_TALK 192 plus de 8 ans Patrick Baillot .
appendix-arithmetic.tex 3,52 ko 230 plus de 8 ans Anupam Das fixed other basic axioms
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,23 ko 238 plus de 8 ans Anupam Das
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 3,35 ko 235 plus de 8 ans Anupam Das
conclusions.tex 2,7 ko 235 plus de 8 ans Anupam Das
further.tex 175 octet 168 plus de 8 ans Anupam Das
intro.tex 18,1 ko 233 plus de 8 ans Anupam Das done with completeness
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,84 ko 233 plus de 8 ans Anupam Das done with completeness
ph-biblio.bib 15,15 ko 233 plus de 8 ans Anupam Das done with completeness
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 9,13 ko 236 plus de 8 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
238 29/04/2017 14:26 Anupam Das
237 29/04/2017 14:24 Patrick Baillot

predicate 0BIT in sect 3.1
236 29/04/2017 14:18 Anupam Das
235 29/04/2017 14:08 Anupam Das
234 29/04/2017 13:55 Anupam Das
233 29/04/2017 13:45 Anupam Das

done with completeness
232 29/04/2017 13:43 Patrick Baillot

.
231 29/04/2017 13:40 Patrick Baillot

.
230 29/04/2017 13:22 Anupam Das

fixed other basic axioms
229 29/04/2017 13:08 Anupam Das

done first pass

Voir les révisions

Formats disponibles : Atom