root / CSL17 @ 233
| 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,04 ko | 232 | plus de 8 ans | Patrick Baillot | . |
| cc-by.pdf | 58,48 ko | 152 | plus de 8 ans | Anupam Das | added csl17 dir |
| completeness.tex | 3,36 ko | 233 | plus de 8 ans | Anupam Das | done with completeness |
| 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 | 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 | 8,6 ko | 233 | plus de 8 ans | Anupam Das | done with completeness |
Dernières révisions
Formats disponibles : Atom