Ismael Everardo Barcenas Patiño
Docteur Université de Grenoble 2011
Dissertation:
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
Mathematics Subject Classification: 68—Computer science
Advisor 1: Vincent Quint
Advisor 2: Nabil Layaïda
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Limon Priego, Yensen | Universidad Veracruzana | 2020 |
According to our current on-line database, Ismael Barcenas Patiño has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 164779 for the advisor ID.