Clément Houtmann

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Aloïs Brunel, Olivier Hermant, Clément Houtmann
Orthogonality and Boolean Algebras for Deduction Modulo. TLCA (2011)
Clément Houtmann
Superdeduction in Lambda-Bar-Mu-Mu-Tilde CL&C (2010)
Benjamin Wack, Clément Houtmann
Strong normalisation in two Pure Pattern Type Systems. Math. Struct. Comput. Sci. 18 (3) (2008)
Clément Houtmann
Axiom Directed Focusing. TYPES (2008)
Paul Brauner, Clément Houtmann, Claude Kirchner
Principles of Superdeduction. LICS (2007)
Paul Brauner, Clément Houtmann, Claude Kirchner
Superdeduction at Work. Rewriting, Computation and Proof (2007)
Horatiu Cirstea, Clément Houtmann, Benjamin Wack
Distributive rho-calculus. WRLA (2006)