# Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques

> Fiche œuvre du catalogue https://superlivre.fr/livre/completude-dun-systeme-formel-pour-prouver-lequivalence-de-certains-schemas-recu-e3e70d36d9ad (données du dépôt légal BnF).

- **Auteurs** : [Jean Vuillemin](https://superlivre.fr/auteur/jean-vuillemin-cb126456663), [Bruno Courcelle](https://superlivre.fr/auteur/bruno-courcelle-cb11897935c) (2000–)
- **Première parution** : 1974
- **Langue** : français
- **Éditions recensées** : 1 (1974–1974)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1974 | [LABORIA](https://superlivre.fr/editeur/laboria) | Rocquencourt |  |  |