Researcher identifiers

Number of documents


Claude Kirchner

"Paul Brauner"   

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 papers2 documents