Gabriela de Souza Ferreira
Departamento de Matemática · Universidade de Brasilia
https://researchid.co/gabsouza
@mat.unb.br
Recent Google Scholar Publications
- Computing Generalizers over Intersection and Union Type Theories
- Syntactic, commutative and associative anti-unification
- Anti-Unification in λP
Links
- ORCID https://orcid.org/0000000282624268
- Google Scholar https://scholar.google.com/citations?hl=pt-BR&user=hEGHvToAAAAJ
- Scopus https://www.scopus.com/authid/detail.uri?authorId=None