| |
| 2007 | ||
|---|---|---|
| 4 | EE | Marc Aiguier, Diane Bahrami: Structures for Abstract Rewriting. J. Autom. Reasoning 38(4): 303-351 (2007) |
| 2006 | ||
| 3 | EE | Marc Aiguier, Diane Bahrami, Delphine Longuet: An Abstract Way to Define Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 205-226 (2006) |
| 2003 | ||
| 2 | EE | Marc Aiguier, Diane Bahrami: Une approche générique de la réécriture. Technique et Science Informatiques 22(4): 401-433 (2003) |
| 2002 | ||
| 1 | EE | Marc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63 |
| 1 | Marc Aiguier | [1] [2] [3] [4] |
| 2 | Catherine Dubois | [1] |
| 3 | Delphine Longuet | [3] |