root / CSL17 @ 202
| 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 | 6,77 ko | 202 | plus de 8 ans | Anupam Das | |
| virginialake.sty | 95,44 ko | 200 | plus de 8 ans | Anupam Das | added vl |
Dernières révisions
Formats disponibles : Atom