# Bons préordres sur les arbres associés à des ensembles inévitables et preuves de terminaison de systèmes de réécriture

> Fiche œuvre du catalogue https://superlivre.fr/livre/bons-preordres-sur-les-arbres-associes-a-des-ensembles-inevitables-et-preuves-de-cb37609070q (données du dépôt légal BnF).

- **Auteur** : [Laurence Puel](https://superlivre.fr/auteur/laurence-puel-cb12403573f)
- **Première parution** : 1987
- **Langue** : français
- **Éditions recensées** : 1 (1987–1987)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1987 | [ANRT](https://superlivre.fr/editeur/anrt) | Grenoble 2 |  |  |