![]() | ![]() |
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] |