SLSuper livre
LivresAuteursÉditeursGroupesGenresLieuxPrixÉtudesSources

Catalogue

  • Tous les livres
  • Tous les auteurs
  • Tous les éditeurs
  • Tous les genres
  • Tous les sujets
  • Tous les lieux
  • Tous les prix

Explorer

  • Études & analyses
  • Recherche

Données

  • Toutes les sources
  • BNF — dépôt légal
  • Wikidata

À propos

  • Le projet
SLSuper Livre·●L'annuaire SEO de la littérature francophone
Libre de citation avec lien
Données : BNF (dépôt légal) · Wikidata — build superlivre
← Tous les auteurs

Bruno Courcelle

2000 –

Œuvres3
Total pages0
Période d'activité1973–1974
Prochaine sortie estimée1975Cadence 12 mois

Autres distinctions (1)

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

S. Barry Cooper Prize2020

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

Bibliographie (3)

AnnéeTitreÉditeurPages
1973Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simplesLABORIA—
1974Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiquesLABORIA—
1974Sur la traduction des schémas récursifs monadiques en schémas itératifsLABORIA—

Comme contributeur (1)

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

Publiés au même moment, chez le même éditeur

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

AuteurContexte(s)Croisements
Sacha KrakowiakLABORIA (1973) · LABORIA (1974)2
Samer AttasiLABORIA (1973) · LABORIA (1974)2
Gérard BaudetLABORIA (1973) · LABORIA (1974)2
Francis PruskerLABORIA (1973) · LABORIA (1974)2
Laurent HyafilLABORIA (1973) · LABORIA (1974)2
Edwin DidayLABORIA (1973) · LABORIA (1974)2
Bertrand MercierLABORIA (1973) · LABORIA (1974)2
Gilles MichelLABORIA (1973) · LABORIA (1974)2

Voir la notice BNF →