Statistiques
| Révision :

root / CSL17 / preliminaries.tex @ 225

Historique | Voir | Annoter | Télécharger (14,81 ko)

# Date Auteur Commentaire
224 29/04/2017 10:44 Patrick Baillot

Added the completeness proof sketch
220 29/04/2017 01:36 Anupam Das
219 28/04/2017 23:49 Anupam Das
216 28/04/2017 18:32 Patrick Baillot

.
213 28/04/2017 14:57 Patrick Baillot

bit(l;x) function
212 28/04/2017 14:15 Patrick Baillot

basic function addition
201 27/04/2017 14:03 Anupam Das
198 25/04/2017 18:05 Patrick Baillot

.
195 25/04/2017 14:03 Patrick Baillot

.
168 06/04/2017 22:34 Anupam Das
164 30/03/2017 12:13 Patrick Baillot

corrected polynomial checking lemma
163 30/03/2017 12:08 Patrick Baillot

+ 1 reference
162 29/03/2017 22:41 Patrick Baillot

.
161 29/03/2017 22:32 Patrick Baillot

preliminaries: definitions PH
160 29/03/2017 16:16 Patrick Baillot

added in preliminaries the polychecking lemma
159 29/03/2017 12:42 Patrick Baillot

added definitions mubc
158 28/03/2017 21:49 Anupam Das
157 28/03/2017 15:44 Anupam Das
156 28/03/2017 01:53 Anupam Das
154 27/03/2017 17:47 Anupam Das

added basic template