Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Claude Marché

Original record
Institution
Université Paris-Sud XI - Orsay
Year
1993
Country
France
MGP identifier
142819

Dissertation: Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories équationnelles

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 13

NameInstitutionYearStudents
Romain BardouUniversité Paris-Sud XI - Orsay20110
Martin ClochardUniversité Paris-Sud XI - Orsay and Université Paris-Saclay20180
Pierre CorbineauNot recorded—0
Xavier DenisUniversité Paris-Saclay20230
Claire DrossUniversité Paris-Sud XI - Orsay20140
Quentin GarcheryUniversité Paris-Saclay20220
Paolo HermsUniversité Paris-Sud XI - Orsay20130
Thierry HubertUniversité Paris-Sud XI - Orsay20080
Yannick MoyUniversité Paris-Sud XI - Orsay20091
Thi Minh Tuyen NguyenUniversité Paris-Sud XI - Orsay20120
Nicolas RoussetUniversité Paris-Sud XI - Orsay20080
Asma TafatNot recorded—0
Xavier UrbainUniversité Paris-Sud XI - Orsay20010
Genealogy