root / CSL17 @ 254
| Nom | Taille | Révision | Âge | Auteur | Commentaire |
|---|---|---|---|---|---|
| DICE2017_TALK | 192 | plus de 8 ans | Patrick Baillot | . | |
| tech-report | 254 | plus de 8 ans | Anupam Das | ||
| appendix-arithmetic.tex | 3,52 ko | 230 | plus de 8 ans | Anupam Das | fixed other basic axioms |
| appendix-completeness.tex | 11 ko | 250 | plus de 8 ans | Patrick Baillot | proof of minimisation lemma, in appendic comple... |
| 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,31 ko | 241 | plus de 8 ans | Patrick Baillot | basic functions |
| 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,16 ko | 252 | plus de 8 ans | Patrick Baillot | corrected example 5 |
| 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 | 250 | plus de 8 ans | Patrick Baillot | proof of minimisation lemma, in appendic comple... |
| ph-biblio.bib | 15,15 ko | 233 | plus de 8 ans | Anupam Das | done with completeness |
| ph-macros.tex | 3,5 ko | 250 | plus de 8 ans | Patrick Baillot | proof of minimisation lemma, in appendic comple... |
| preliminaries.tex | 16,09 ko | 253 | 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 | 220 | plus de 8 ans | Anupam Das | |
| soundness.tex | 9,13 ko | 249 | plus de 8 ans | Anupam Das |
Dernières révisions
Formats disponibles : Atom