| |
| 2008 | ||
|---|---|---|
| 2 | EE | Loïc Colson, David Michel: Pedagogical Second-order Propositional Calculi. J. Log. Comput. 18(4): 669-695 (2008) |
| 2007 | ||
| 1 | EE | Loïc Colson, David Michel: Pedagogical Natural Deduction Systems: the Propositional Case. J. UCS 13(10): 1396-1410 (2007) |
| 1 | Loïc Colson | [1] [2] |