Statistiques
| Révision :

root / CSL17 @ 180

Nom Taille Révision Âge Auteur Commentaire
arithmetic.tex 15,18 ko 180 plus de 8 ans Patrick Baillot Modified sequent calculus rules (weakening in a...
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

# Date Auteur Commentaire
180 16/04/2017 00:32 Patrick Baillot

Modified sequent calculus rules (weakening in axioms)
179 14/04/2017 01:19 Patrick Baillot

.
178 13/04/2017 14:18 Patrick Baillot

B^i sequent calculus
177 13/04/2017 12:11 Patrick Baillot

added polynomial induction definition
176 13/04/2017 01:45 Anupam Das
175 13/04/2017 00:14 Patrick Baillot

.
174 13/04/2017 00:12 Patrick Baillot

added the sequent calculus rules and a free-cut elimination theorem
173 12/04/2017 17:33 Anupam Das

witness functions
172 12/04/2017 17:22 Anupam Das

characteristic functions
171 12/04/2017 12:21 Anupam Das

Voir les révisions

Formats disponibles : Atom