Bruno Courcelle

Ingénieur · informaticien · mathématicien · France

2000 –

Œuvres3

Total pages0

Période d'activité1973–1974

Prochaine sortie estimée1975Cadence 12 mois

Première œuvre: Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples (1973)
Dernière œuvre: Sur la traduction des schémas récursifs monadiques en schémas itératifs (1974)

Autres distinctions (1)

Récompenses hors champ littéraire (cinéma, musique, sport, honorifiques).

Prochaine sortie attendue depuis 1975 (cadence ~12 mois) — pas de nouvelle parution

Année	Titre	Éditeur	Pages
1973	Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples	LABORIA	—
1974	Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques	LABORIA	—
1974	Sur la traduction des schémas récursifs monadiques en schémas itératifs

Année	Titre	Auteur(s) principal	Éditeur
1991	Logique et informatique, une introduction	Ecole de printemps d'informatique théorique (17 ; 1989 ; Albi)	Institut national de recherche en informatique et en automatique

Auteurs ayant un livre paru la même année chez un éditeur de Bruno Courcelle.