paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 159798361Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Braibant, Thomas (1984-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : Bélarus
Date de naissance :    1984
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse en Informatique à Grenoble en 2012

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/308788435

Source

Algèbres de Kleene, réécriture modulo AC et circuits en coq / Thomas Braibant, 2012

... Références liées : ...