Statistiques
| Révision :

root / CSL17 @ 167

Nom Taille Révision Âge Auteur Commentaire
arithmetic.tex 1,69 ko 166 plus de 8 ans Anupam Das
cc-by.pdf 58,48 ko 152 plus de 8 ans Anupam Das added csl17 dir
completeness.tex 481 octet 166 plus de 8 ans Anupam Das
conclusions.tex 1,24 ko 166 plus de 8 ans Anupam Das
further.tex 25 octet 166 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,69 ko 166 plus de 8 ans Anupam Das
ph-biblio.bib 14,06 ko 163 plus de 8 ans Patrick Baillot + 1 reference
ph-macros.tex 1,95 ko 166 plus de 8 ans Anupam Das
preliminaries.tex 9,97 ko 164 plus de 8 ans Patrick Baillot corrected polynomial checking lemma
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 20 octet 166 plus de 8 ans Anupam Das

Dernières révisions

# Date Auteur Commentaire
166 06/04/2017 01:35 Anupam Das
165 03/04/2017 10:07 Anupam Das
164 30/03/2017 12:13 Patrick Baillot

corrected polynomial checking lemma
163 30/03/2017 12:08 Patrick Baillot

+ 1 reference
162 29/03/2017 22:41 Patrick Baillot

.
161 29/03/2017 22:32 Patrick Baillot

preliminaries: definitions PH
160 29/03/2017 16:16 Patrick Baillot

added in preliminaries the polychecking lemma
159 29/03/2017 12:42 Patrick Baillot

added definitions mubc
158 28/03/2017 21:49 Anupam Das
157 28/03/2017 15:44 Anupam Das

Voir les révisions

Formats disponibles : Atom