| * | 2009 |
|---|
| 10 | EE | Colin Riba:
On the Values of Reducibility Candidates.
TLCA 2009: 264-278 |
| 2008 |
|---|
| 9 | EE | Gilles Barthe,
Benjamin Grégoire,
Colin Riba:
Type-Based Termination with Sized Products.
CSL 2008: 493-507 |
| 8 | EE | Colin Riba:
Union of Reducibility Candidates for Orthogonal Constructor Rewriting.
CiE 2008: 498-510 |
| 7 | EE | Gilles Barthe,
Benjamin Grégoire,
Colin Riba:
A Tutorial on Type-Based Termination.
LerNet ALFA Summer School 2008: 100-152 |
| 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) |
