| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | David Michel, Frédéric Gervais, Pierre Valarcher: B-ASM: Specification of ASM à la B. ASM 2010: 391 |
| 2009 | ||
| 3 | | Loïc Colson, David Michel: Pedagogical second-order lambda-calculus. Theor. Comput. Sci. 410(42): 4190-4203 (2009) |
| 2008 | ||
| 2 | | Loïc Colson, David Michel: Pedagogical Second-order Propositional Calculi. J. Log. Comput. 18(4): 669-695 (2008) |
| 2007 | ||
| 1 | | 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] [3] |
| 2 | Frédéric Gervais | [4] |
| 3 | Pierre Valarcher | [4] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page