Statistiques
| Révision :

root / CSL17 / ph-macros.tex @ 224

Historique | Voir | Annoter | Télécharger (3,43 ko)

# Date Auteur Commentaire
219 28/04/2017 23:49 Anupam Das
213 28/04/2017 14:57 Patrick Baillot

bit(l;x) function
201 27/04/2017 14:03 Anupam Das
197 25/04/2017 15:11 Patrick Baillot

Completeness: recursion step.
195 25/04/2017 14:03 Patrick Baillot

.
194 25/04/2017 12:33 Anupam Das
193 24/04/2017 11:41 Anupam Das
177 13/04/2017 12:11 Patrick Baillot

added polynomial induction definition
174 13/04/2017 00:12 Patrick Baillot

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

characteristic functions
171 12/04/2017 12:21 Anupam Das
168 06/04/2017 22:34 Anupam Das
166 06/04/2017 01:35 Anupam Das
165 03/04/2017 10:07 Anupam Das
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
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