Gabriela de Souza Ferreira

@mat.unb.br

Departamento de Matemática
Universidade de Brasilia

Gabriela de Souza Ferreira


            Download Compact PDF  
https://researchid.co/gabsouza

RESEARCH, TEACHING, or OTHER INTERESTS

Mathematics, Applied Mathematics

RECENT SCHOLAR PUBLICATIONS

  • Computing Generalizers over Intersection and Union Type Theories
    G Ferreira, DM Cerna, M Ayala-Rincón, T Kutsia
  • Syntactic, commutative and associative anti-unification
    GS Ferreira
  • Anti-Unification in λP
    G Ferreira

MOST CITED SCHOLAR PUBLICATIONS

  • Computing Generalizers over Intersection and Union Type Theories
    G Ferreira, DM Cerna, M Ayala-Rincón, T Kutsia
  • Syntactic, commutative and associative anti-unification
    GS Ferreira
  • Anti-Unification in λP
    G Ferreira