| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1986 | Preuves de terminaison des systèmes de réécriture associatifs commutatifs | ANRT | — |
Auteurs ayant un livre paru la même année chez un éditeur de Isabelle Gnaedig.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Soumaya Cherif Idrissi el Ganouni | ANRT (1986) | 1 |
| Mohamed Ayadi | ANRT (1986) | 1 |
| Abdelkader Abdellaoui | ANRT (1986) | 1 |
| Loïc Matile |
| ANRT (1986) |
| 1 |
| Pierre Lachèze-Pasquet | ANRT (1986) | 1 |
| Guy Brousseau | ANRT (1986) | 1 |
| Jean-Paul Petit | ANRT (1986) | 1 |
| Monique Lucenet | ANRT (1986) | 1 |