Flávio Leonardo Cavalcanti de Moura
Ph.D. Universidade de Brasília 2006
Dissertation:
Um Estudo Comparativo em Unificação de Ordem Superior via Cálculos de Substituições Explícitas
Mathematics Subject Classification: 68—Computer science
Advisor 1: Mauricio Ayala-Rincón
Advisor 2: Fairouz Kamareddine
No students known.
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 88846 for the advisor ID.