| |
| 2008 | ||
|---|---|---|
| 4 | EE | 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 | EE | Paul Brauner, Clément Houtmann, Claude Kirchner: Principles of Superdeduction. LICS 2007: 41-50 |
| 2 | EE | Paul Brauner, Clément Houtmann, Claude Kirchner: Superdeduction at Work. Rewriting, Computation and Proof 2007: 132-166 |
| 1 | EE | Horatiu Cirstea, Clément Houtmann, Benjamin Wack: Distributive rho-calculus. Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007) |
| 1 | Paul Brauner | [2] [3] |
| 2 | Horatiu Cirstea | [1] |
| 3 | Claude Kirchner | [2] [3] |
| 4 | Benjamin Wack | [1] [4] |