| |
| 2006 | ||
|---|---|---|
| 3 | EE | Christophe Raffalli, Paul Rozière: PhoX. The Seventeen Provers of the World 2006: 67-71 |
| 1993 | ||
| 2 | Michel Parigot, Paul Rozière: Constant Time Reductions in Lambda-Caculus. MFCS 1993: 608-617 | |
| 1 | Paul Rozière: Admissible and Derivable Rules in Intuitionistic Logic. Mathematical Structures in Computer Science 3(2): 129-136 (1993) | |
| 1 | Michel Parigot | [2] |
| 2 | Christophe Raffalli | [3] |