Accéder directement au contenu

Claude Kirchner

3
Documents
Identifiants chercheurs

Présentation

Publications

837290
Image document

Inductive Proof Search Modulo

 Fabrice Nahon , Claude Kirchner , Hélène Kirchner , Paul Brauner
Annals of Mathematics and Artificial Intelligence, 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⟩
Article dans une revue inria-00337380v1
Image document

Superdeduction at work

 Paul Brauner , Clément Houtmann , Claude Kirchner
Colloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. pp.132-166, ⟨10.1007/978-3-540-73147-4⟩
Communication dans un congrès inria-00141672v2
Image document

Principles of Superdeduction

 Paul Brauner , Clement Houtmann , Claude Kirchner
Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
Communication dans un congrès inria-00133557v3