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

Point d'accès autorisé

Genet, Thomas

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
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat d'université en Informatique (Nancy 1, 1998)

Note publique d'information : 
Maître de conférences HDR, Univ. de Rennes 1 (en 2017)

Source

Contraintes d'ordre et automates d'arbres pour les preuves de terminaison/ Thomas Genet, 1998

Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité/ Vivien PELLETIER; sous la direction de Pierre RÉTY, membre du jury et rapporteur de thèse Thomas GENET, président du jury Sébastien LIMET. Thèse de doctorat : Informatique : Orléans : 2017

Information trouvée : Maître de conférences HDR, Univ. de Rennes 1 (en 2017)

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/204144033
Identifiant HAL : thomas-genet
Identifiant ORCID : 0000-0002-2145-3370
Identifiant ISNI : 0000000140335743

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

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