Eric Deplagne (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 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

1 Eric Deplagne, Claude Kirchner: Deduction versus Computation: The Case of Induction. AISC 2002: 4-6

Selection of 2 from 2 records - Eric Deplagne has 3 coauthors

2		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
1		Eric Deplagne, Claude Kirchner: Deduction versus Computation: The Case of Induction. AISC 2002: 4-6