| |
| 2003 | ||
|---|---|---|
| 2 | EE | Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen: Proof Search and Proof Check for Equational and Inductive Theorems. CADE 2003: 297-316 |
| 2002 | ||
| 1 | EE | Eric Deplagne, Claude Kirchner: Deduction versus Computation: The Case of Induction. AISC 2002: 4-6 |
| 1 | Claude Kirchner | [1] [2] |
| 2 | Hélène Kirchner | [2] |
| 3 | Quang Huy Nguyen | [2] |