Statistiques
| Révision :

root / CSL16 / preliminaries.tex @ 239

Historique | Voir | Annoter | Télécharger (18,12 ko)

# Date Auteur Commentaire
121 02/07/2016 16:36 Anupam Das

revised up to end of sect 5
120 02/07/2016 09:54 Anupam Das

some updates
114 17/05/2016 15:55 Patrick Baillot

affiliation+on p. 3 condition on init in 4.
110 18/04/2016 14:23 Anupam Das
109 18/04/2016 10:59 Anupam Das
108 18/04/2016 01:57 Anupam Das
105 18/04/2016 01:05 Anupam Das

bc-convergence appendix
99 18/04/2016 00:14 Anupam Das
98 18/04/2016 00:13 Anupam Das
97 18/04/2016 00:11 Anupam Das
93 17/04/2016 22:31 Anupam Das
89 17/04/2016 17:40 Anupam Das
88 17/04/2016 15:42 Anupam Das

arithmetic section finished
86 17/04/2016 00:24 Patrick Baillot

references in introduction
75 15/04/2016 17:26 Anupam Das
74 15/04/2016 17:03 Patrick Baillot

.
72 15/04/2016 16:19 Patrick Baillot

.
63 15/04/2016 13:10 Patrick Baillot

example of rule (R) after definition
62 15/04/2016 11:42 Patrick Baillot

Revised conditions on nonlogical rules.
61 15/04/2016 11:39 Anupam Das
60 15/04/2016 11:35 Anupam Das
54 14/04/2016 18:49 Anupam Das
53 14/04/2016 16:23 Anupam Das
46 13/04/2016 17:29 Patrick Baillot

added new induction rule
38 08/04/2016 23:02 Patrick Baillot

Revised the case of weak cut in free-cut elimination
33 07/04/2016 18:05 Anupam Das

added main and input files