Géraud Senizergues

Pays :France
Langue :français
Note :
Docteur en informatique (Paris 7, 1987)
ISNI :ISNI 0000 0004 0157 2561

Ses activités

Auteur du texte1 document

  • Sur la description des langages algébriques déterministes par des systèmes de réécriture confluents

    Description matérielle : 1 microfiche
    Édition : Grenoble 2 : ANRT , 1987

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37609877b]

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Sur la description des langages algébriques déterministe par des systèmes de réécriture confluents / Géraud Senizergues, 1987 [thèse]

Biographie Wikipedia

  • Géraud Sénizergues (né en 1957) est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003.

Pages équivalentes