Statistiques
| Révision :

root / CSL17 / main.tex @ 255

Historique | Voir | Annoter | Télécharger (4,84 ko)

  • svn:executable: *
# Date Auteur Commentaire
250 01/05/2017 00:06 Patrick Baillot

proof of minimisation lemma, in appendic completeness
233 29/04/2017 13:45 Anupam Das

done with completeness
229 29/04/2017 13:08 Anupam Das

done first pass
222 29/04/2017 02:00 Anupam Das
220 29/04/2017 01:36 Anupam Das
219 28/04/2017 23:49 Anupam Das
209 27/04/2017 23:12 Patrick Baillot

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

completed the list of Basic axioms, following Buss, in the appendix
174 13/04/2017 00:12 Patrick Baillot

added the sequent calculus rules and a free-cut elimination theorem
171 12/04/2017 12:21 Anupam Das
169 10/04/2017 11:13 Anupam Das
166 06/04/2017 01:35 Anupam Das
165 03/04/2017 10:07 Anupam Das
156 28/03/2017 01:53 Anupam Das
154 27/03/2017 17:47 Anupam Das

added basic template
153 27/03/2017 17:44 Anupam Das
152 27/03/2017 17:21 Anupam Das

added csl17 dir