| |
| 2007 | ||
|---|---|---|
| 4 | EE | Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556 |
| 3 | EE | Rémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228 |
| 2006 | ||
| 2 | EE | Rémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55 |
| 2005 | ||
| 1 | EE | Rémy Haemmerlé: ICLP 2005 Doctoral Consortium. ICLP 2005: 448-449 |
| 1 | François Fages | [2] [3] [4] |
| 2 | Sylvain Soliman | [4] |