Eric Deplagne

According to our database, Eric Deplagne authored at least 3 papers between 2002 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Proof Search and Proof Check for Equational and Inductive Theorems.

Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

Système de preuve modulo récurrence.

Eric Deplagne

PhD thesis, 2002

Deduction versus Computation: The Case of Induction.

Eric Deplagne, Claude Kirchner

Proceedings of the Artificial Intelligence, 2002