Accéder directement au contenu

Claude Kirchner

2
Documents
Identifiants chercheurs

Présentation

Publications

832331
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