| |
| 1991 | ||
|---|---|---|
| 3 | Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61 | |
| 1988 | ||
| 2 | Paul Jacquet: Program Synthesis by Completion with Dependent Subtypes. CADE 1988: 550-562 | |
| 1986 | ||
| 1 | Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI 1986: 345-356 | |
| 1 | Rachid Echahed | [3] |
| 2 | Marie-Laure Potet | [1] [3] |
| 3 | Sadik Sebbar | [3] |