Clément Houtmann

According to our database, Clément Houtmann authored at least 8 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Orthogonality and Boolean Algebras for Deduction Modulo.

Aloïs Brunel, Olivier Hermant, Clément Houtmann

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010

Représentation et interaction des preuves en superdéduction modulo. (Representation and interaction of proofs in superdeduction modulo).

Clément Houtmann

PhD thesis, 2010

Superdeduction in Lambda-Bar-Mu-Mu-Tilde

Clément Houtmann

Proceedings of the Proceedings Third International Workshop on Classical Logic and Computation, 2010

2008

Strong normalisation in two Pure Pattern Type Systems.

Benjamin Wack, Clément Houtmann

Math. Struct. Comput. Sci., 2008

Axiom Directed Focusing.

Clément Houtmann

Proceedings of the Types for Proofs and Programs, International Conference, 2008

2007

Principles of Superdeduction.

Paul Brauner, Clément Houtmann, Claude Kirchner

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Superdeduction at Work.

Paul Brauner, Clément Houtmann, Claude Kirchner

Proceedings of the Rewriting, 2007

2006

Distributive rho-calculus.

Horatiu Cirstea, Clément Houtmann, Benjamin Wack

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006