 | 2008 |
|---|
| 4 |       | Emilie Balland,
Paul Brauner:
Term-graph Rewriting in Tom Using Relative Positions.
Electr. Notes Theor. Comput. Sci. 203(1): 3-17 (2008) |
| 2007 |
|---|
| 3 | | Paul Brauner,
Clément Houtmann,
Claude Kirchner:
Principles of Superdeduction.
LICS 2007: 41-50 |
| 2 | | Emilie Balland,
Paul Brauner,
Radu Kopetz,
Pierre-Etienne Moreau,
Antoine Reilles:
Tom: Piggybacking Rewriting on Java.
RTA 2007: 36-47 |
| 1 | | Paul Brauner,
Clément Houtmann,
Claude Kirchner:
Superdeduction at Work.
Rewriting, Computation and Proof 2007: 132-166 |
