Clément Houtmann
发表
Claude Kirchner,
Paul Brauner,
Clément Houtmann,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Clément Houtmann,
Benjamin Wack,
C. Houtmann,
2008,
Mathematical Structures in Computer Science.
Clément Houtmann,
2010,
CL&C.
Horatiu Cirstea,
Clément Houtmann,
Benjamin Wack,
2006,
WRLA.
Claude Kirchner,
Hélène Kirchner,
Oana Andrei,
2007
.
Claude Kirchner,
Paul Brauner,
Clément Houtmann,
2007,
Rewriting, Computation and Proof.
Olivier Hermant,
Clément Houtmann,
Aloïs Brunel,
2011,
TLCA.
Clément Houtmann,
2010
.
Clément Houtmann,
2008,
TYPES.