# Bruno Courcelle

> Fiche auteur du catalogue https://superlivre.fr/auteur/bruno-courcelle-cb11897935c (données du dépôt légal BnF, enrichies Wikidata).

- **Dates** : 2000–
- **Occupation** : ingénieur · informaticien · mathématicien
- **Nationalité** : France
- **Œuvres au catalogue** : 3 (1973–1974)
- **Wikipedia** : https://fr.wikipedia.org/wiki/Bruno_Courcelle
- **Wikidata** : https://www.wikidata.org/wiki/Q17305808
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb11897935c

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1973 | [Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples](https://superlivre.fr/livre/algorithmes-dequivalence-et-de-reduction-a-des-expressions-minimales-dans-une-cl-79a032bc6cf5) | [LABORIA](https://superlivre.fr/editeur/laboria) |  |
| 1974 | [Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques](https://superlivre.fr/livre/completude-dun-systeme-formel-pour-prouver-lequivalence-de-certains-schemas-recu-e3e70d36d9ad) | [LABORIA](https://superlivre.fr/editeur/laboria) |  |
| 1974 | [Sur la traduction des schémas récursifs monadiques en schémas itératifs](https://superlivre.fr/livre/sur-la-traduction-des-schemas-recursifs-monadiques-en-schemas-iteratifs-cb34646543w) | [LABORIA](https://superlivre.fr/editeur/laboria) |  |

## En tant que contributeur

- 1991 — [Logique et informatique, une introduction](https://superlivre.fr/livre/logique-et-informatique-une-introduction-cb35470284m) de Ecole de printemps d'informatique théorique (17 ; 1989 ; Albi)

## Éditeurs principaux

- [LABORIA](https://superlivre.fr/editeur/laboria) — 3 œuvres