Eric Deplagne

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

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

2002

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

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

Coauthor Index