Researcher identifiers

Number of documents


Claude Kirchner

"Fabrice Nahon"   

Journal articles1 document

  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner. Inductive Proof Search Modulo. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. ⟨10.1007/s10472-009-9154-5⟩. ⟨inria-00337380⟩

Conference papers1 document

  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner. Inductive Proof Search Modulo. 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19. ⟨inria-00187458⟩

Other publications1 document

  • Claude Kirchner, Helene Kirchner, Fabrice Nahon. Narrowing Based Inductive Proof Search. 2011. ⟨hal-00692193⟩