Statistiques
| Révision :

root / CSL16 / arithmetic.tex @ 240

Historique | Voir | Annoter | Télécharger (21,59 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
116 01/07/2016 14:06 Patrick Baillot

various minor corrections
110 18/04/2016 14:23 Anupam Das
109 18/04/2016 10:59 Anupam Das
108 18/04/2016 01:57 Anupam Das
97 18/04/2016 00:11 Anupam Das
93 17/04/2016 22:31 Anupam Das
91 17/04/2016 20:37 Anupam Das
90 17/04/2016 20:31 Anupam Das

wfm
89 17/04/2016 17:40 Anupam Das
88 17/04/2016 15:42 Anupam Das

arithmetic section finished
87 17/04/2016 10:40 Anupam Das
83 16/04/2016 20:59 Anupam Das

conclusions
74 15/04/2016 17:03 Patrick Baillot

.
73 15/04/2016 16:45 Anupam Das
72 15/04/2016 16:19 Patrick Baillot

.
70 15/04/2016 16:02 Patrick Baillot

free-cut elimination for guarded quantifiers
68 15/04/2016 15:04 Patrick Baillot

stated free-cut elim with guarded quantifiers
66 15/04/2016 14:29 Patrick Baillot

.
65 15/04/2016 14:26 Patrick Baillot

replaced \nat with \word in sect 4.3
64 15/04/2016 14:22 Anupam Das
61 15/04/2016 11:39 Anupam Das
60 15/04/2016 11:35 Anupam Das
59 15/04/2016 10:58 Anupam Das
58 15/04/2016 09:01 Anupam Das
57 15/04/2016 01:18 Anupam Das
55 14/04/2016 23:35 Patrick Baillot

BC defined on words
54 14/04/2016 18:49 Anupam Das
53 14/04/2016 16:23 Anupam Das
47 14/04/2016 02:09 Anupam Das
43 12/04/2016 19:24 Anupam Das
39 11/04/2016 09:39 Anupam Das
35 08/04/2016 11:24 Anupam Das
34 08/04/2016 09:59 Anupam Das
33 07/04/2016 18:05 Anupam Das

added main and input files