| |
| 2007 | ||
|---|---|---|
| 3 | EE | Paul Brauner, Clément Houtmann, Claude Kirchner: Principles of Superdeduction. LICS 2007: 41-50 |
| 2 | EE | Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles: Tom: Piggybacking Rewriting on Java. RTA 2007: 36-47 |
| 1 | EE | Paul Brauner, Clément Houtmann, Claude Kirchner: Superdeduction at Work. Rewriting, Computation and Proof 2007: 132-166 |
| 1 | Emilie Balland | [2] |
| 2 | Clément Houtmann | [1] [3] |
| 3 | Claude Kirchner | [1] [3] |
| 4 | Radu Kopetz | [2] |
| 5 | Pierre-Etienne Moreau | [2] |
| 6 | Antoine Reilles | [2] |