Researcher identifiers

Number of documents

1

Claude Kirchner


"Quang-Huy Nguyen"    "Eric Deplagne"   

Conference papers1 document

  • 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⟩