Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
---|---|---|---|---|---|
4-mai-2015 | 22-aoû-2014 | Formalização da automação da terminação através de grafos com matrizes de medida | Avelar, Andréia Borges | Ayala-Rincón, Mauricio | - |
7-mai-2011 | 3-déc-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 |