 | 2011 |
|---|
| 7 |       | Aloïs Brunel,
Olivier Hermant,
Clément Houtmann:
Orthogonality and Boolean Algebras for Deduction Modulo.
TLCA 2011: 76-90 |
| 2010 |
|---|
| 6 | | Clément Houtmann:
Superdeduction in Lambda-Bar-Mu-Mu-Tilde
CL&C 2010: 34-43 |
| 2008 |
|---|
| 5 | | Clément Houtmann:
Axiom Directed Focusing.
TYPES 2008: 169-185 |
| 4 | | Benjamin Wack,
Clément Houtmann:
Strong normalisation in two Pure Pattern Type Systems.
Mathematical Structures in Computer Science 18(3): 431-465 (2008) |
| 2007 |
|---|
| 3 | | Paul Brauner,
Clément Houtmann,
Claude Kirchner:
Principles of Superdeduction.
LICS 2007: 41-50 |
| 2 | | Paul Brauner,
Clément Houtmann,
Claude Kirchner:
Superdeduction at Work.
Rewriting, Computation and Proof 2007: 132-166 |
| 1 | | Horatiu Cirstea,
Clément Houtmann,
Benjamin Wack:
Distributive rho-calculus.
Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page