Statistiques
| Révision :

root / CSL17 @ 192

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 18,14 ko 183 plus de 8 ans Patrick Baillot completed the list of Basic axioms, following B...
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,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 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

# Date Auteur Commentaire
192 22/04/2017 23:51 Patrick Baillot

.
191 22/04/2017 23:40 Patrick Baillot

.
190 22/04/2017 07:47 Patrick Baillot

.
189 22/04/2017 02:10 Patrick Baillot

.
188 22/04/2017 00:48 Patrick Baillot

.
187 20/04/2017 14:54 Patrick Baillot

.
183 18/04/2017 00:38 Patrick Baillot

completed the list of Basic axioms, following Buss, in the appendix
182 17/04/2017 22:52 Patrick Baillot

Revised the definitions at the beginning of sect 4, and added after Def 14 a comment about B^i and integer positive formulas.
181 16/04/2017 16:32 Patrick Baillot

Modified lemma 19 on well-typed proofs, and gave a proof sketch.
180 16/04/2017 00:32 Patrick Baillot

Modified sequent calculus rules (weakening in axioms)

Voir les révisions

Formats disponibles : Atom