| 2009 | ||
|---|---|---|
| 3 | Pierre Peterlongo, Jacques Nicolas, Dominique Lavenier, Raoul Vorc'h, Joël Querellou: c-GAMMA: Comparative Genome Analysis of Molecular Markers. PRIB 2009: 255-269 | |
| 1992 | ||
| 2 | Raoul Vorc'h: Generalization and Abstraction Using Tableaux-Based Proof Systems. TABLEAUX 1992: 79-81 | |
| 1991 | ||
| 1 | Raoul Vorc'h: Generalization for a Propositional Calculus: A Constraints-Based Approach. EPIA 1991: 264-277 | |
| 1 | Dominique Lavenier | [3] |
| 2 | Jacques Nicolas | [3] |
| 3 | Pierre Peterlongo | [3] |
| 4 | Joël Querellou | [3] |