![]() | ![]() |
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] |