Révision :

Révisions

# Date Auteur Commentaire
70 15/04/2016 16:02 Patrick Baillot

free-cut elimination for guarded quantifiers
69 15/04/2016 15:29 Anupam Das
68 15/04/2016 15:04 Patrick Baillot

stated free-cut elim with guarded quantifiers
67 15/04/2016 14:32 Anupam Das
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
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
59 15/04/2016 10:58 Anupam Das
58 15/04/2016 09:01 Anupam Das
57 15/04/2016 01:18 Anupam Das
56 14/04/2016 23:51 Patrick Baillot

updated 5.1, and first thm of 5.2
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
52 14/04/2016 14:44 Patrick Baillot

.
51 14/04/2016 11:32 Patrick Baillot

Intro continued
50 14/04/2016 11:01 Anupam Das

convergence stuff
49 14/04/2016 10:45 Patrick Baillot

wrote a beginning for the introduction
48 14/04/2016 10:30 Anupam Das
47 14/04/2016 02:09 Anupam Das
46 13/04/2016 17:29 Patrick Baillot

added new induction rule

« Précédent 1 ... 7 8 9 10 11 Suivant » (201-225/270) | Par page : 25, 50, 100

Formats disponibles : Atom