Skip navigation

Navegando por Autor Avelar, Andréia Borges

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 2 de 2
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
4-Mai-201522-Ago-2014Formalização da automação da terminação através de grafos com matrizes de medidaAvelar, Andréia BorgesAyala-Rincón, Mauricio-
7-Mai-20113-Dez-2009Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordemAvelar, Andréia BorgesAyala-Rincón, MauricioGaldino, André Luiz