| Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 7-may-2011 | 3-dic-2009 | Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem | Avelar, Andréia Borges | Ayala-Rincón, Mauricio | Galdino, André Luiz |