Accéder directement au contenu

Claude Kirchner

3
Documents
Identifiants chercheurs

Présentation

Publications

835356
Image document

Proof Search and Proof Check for Equational and Inductive Theorems

Eric Deplagne , Claude Kirchner , Hélène Kirchner , Quang Huy Nguyen
Conference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès inria-00099470v1

Deduction versus Computation: the Case of Induction

Eric Deplagne , Claude Kirchner
Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
Communication dans un congrès inria-00101024v1
Image document

Induction as Deduction Modulo

Eric Deplagne , Claude Kirchner
[Intern report] A04-R-468 || deplagne04a, 2004, 80 p
Rapport inria-00099871v1