| |
| 2008 | ||
|---|---|---|
| 8 | EE | Gilles Barthe, Benjamin Grégoire, Colin Riba: Type-Based Termination with Sized Products. CSL 2008: 493-507 |
| 7 | EE | Colin Riba: Union of Reducibility Candidates for Orthogonal Constructor Rewriting. CiE 2008: 498-510 |
| 2007 | ||
| 6 | EE | Colin Riba: On the Stability by Union of Reducibility Candidates. FoSSaCS 2007: 317-331 |
| 5 | EE | Colin Riba: Strong Normalization as Safe Interaction. LICS 2007: 13-22 |
| 2006 | ||
| 4 | EE | Frédéric Blanqui, Claude Kirchner, Colin Riba: On the Confluence of lambda-Calculus with Conditional Rewriting. FoSSaCS 2006: 382-397 |
| 3 | EE | Frédéric Blanqui, Colin Riba: Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems. LPAR 2006: 105-119 |
| 2 | EE | Frédéric Blanqui, Claude Kirchner, Colin Riba: On the confluence of lambda-calculus with conditional rewriting CoRR abs/cs/0609002: (2006) |
| 1 | EE | Frédéric Blanqui, Colin Riba: Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems CoRR abs/cs/0609013: (2006) |
| 1 | Gilles Barthe | [8] |
| 2 | Frédéric Blanqui | [1] [2] [3] [4] |
| 3 | Benjamin Grégoire | [8] |
| 4 | Claude Kirchner | [2] [4] |