root / CSL17 @ 178
| Nom | Taille | Révision | Âge | Auteur | Commentaire |
|---|---|---|---|---|---|
| arithmetic.tex | 12,12 ko | 178 | plus de 8 ans | Patrick Baillot | B^i sequent calculus |
| cc-by.pdf | 58,48 ko | 152 | plus de 8 ans | Anupam Das | added csl17 dir |
| completeness.tex | 6,07 ko | 174 | plus de 8 ans | Patrick Baillot | added the sequent calculus rules and a free-cut... |
| 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,67 ko | 174 | plus de 8 ans | Patrick Baillot | added the sequent calculus rules and a free-cut... |
| ph-biblio.bib | 14,06 ko | 163 | plus de 8 ans | Patrick Baillot | + 1 reference |
| ph-macros.tex | 2,88 ko | 177 | plus de 8 ans | Patrick Baillot | added polynomial induction definition |
| preliminaries.tex | 9,97 ko | 168 | plus de 8 ans | Anupam Das | |
| pv-theories.tex | 14,92 ko | 158 | plus de 8 ans | Anupam Das | |
| sequence-coding.tex | 2,04 ko | 165 | plus de 8 ans | Anupam Das | |
| soundness.tex | 3,91 ko | 176 | plus de 8 ans | Anupam Das |
Dernières révisions
Formats disponibles : Atom