Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Farid Ouabdesselam

Original record
Institution
Not recorded
Year
Not recorded
Country
France
MGP identifier
289422

Dissertation: Système de déduction automatique : application à la construction de programmes

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 10

NameInstitutionYearStudents
Lydie du BousquetUniversité Joseph Fourier Grenoble I19991
Anne-Cécile GloryUniversité Joseph Fourier Grenoble I19890
Karim-Cyril GricheUniversité Joseph Fourier Grenoble I20050
Abdesselam LakehalUniversité Joseph Fourier Grenoble I20060
Laya MadaniUniversité Joseph Fourier Grenoble I20070
Virginia PapailiopoulouUniversité de Grenoble20100
Ioannis ParissisUniversité Joseph Fourier Grenoble I19965
Muhammad Rabee ShaheenUniversité Joseph Fourier Grenoble I20090
Jérôme VassyUniversité Joseph Fourier Grenoble I20040
Nicolas ZuanonUniversité Joseph Fourier Grenoble I20000
Genealogy