| |
| 1988 | ||
|---|---|---|
| 2 | Ramon Brena: Parallelizing a Natural Deduction System. AIMSA 1988: 83-92 | |
| 1984 | ||
| 1 | Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet: Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA 1984: 113-120 | |
| 1 | Ricardo Caferra | [1] |
| 2 | Bertram Fronhöfer | [1] |
| 3 | Christian Gresse | [1] |
| 4 | Philippe Jacquet | [1] |
| 5 | Marie-Laure Potet | [1] |