Researcher identifiers

Number of documents

3

Claude Kirchner


"Eric Deplagne"   

Conference papers2 documents

  • Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems. Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p. ⟨inria-00099470⟩
  • Eric Deplagne, Claude Kirchner. Deduction versus Computation: the Case of Induction. Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6. ⟨inria-00101024⟩

Reports1 document

  • Eric Deplagne, Claude Kirchner. Induction as Deduction Modulo. [Intern report] A04-R-468 || deplagne04a, 2004, 80 p. ⟨inria-00099871⟩