Flávio Leonardo Cavalcanti de Moura

MathSciNet


Ph.D. Universidade de Brasília 2006 Brazil
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.