Eric Deplagne

Deduction versus Computation: The Case of Induction

Claude Kirchner, Eric Deplagne, 2002, AISC.

Système de preuve modulo récurrence

Eric Deplagne, 2002 .

Proof Search and Proof Check for Equational and Inductive Theorems

Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen, 2003, CADE.

Sequent Calculus Viewed Modulo

Eric Deplagne, 2000 .

Induction as Deduction Modulo

Claude Kirchner, Eric Deplagne, C. Kirchner, 2004 .