Skip navigation
Universidade de Brasília

Navegando por Orientador Nantes Sobrinho, Daniele

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 8 de 8
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
11-Jan-202228-Set-2021Desunificação nominal via restrições de ponto fixoBatista, Leonardo MeloNantes Sobrinho, Daniele-
6-Ago-20246-Mar-2024A detailed study of bounded ACh-unificationBrandão, Guilherme BorgesNantes Sobrinho, Daniele-
20-Ago-20227-Jun-2022Nominal commutative narrowingSouza, Daniella Santaguida Magalhães deNantes Sobrinho, Daniele-
25-Mar-202026-Jul-2019Nominal disunificationVale, Deivid Rodrigues doNantes Sobrinho, Daniele-
23-Mai-202122-Jan-2021Operadores de redução para completamento de sistemas de reescritaGonzález Barragán, Andrés FelipeNantes Sobrinho, Daniele-
3-Abr-202311-Out-2022Syntactic, commutative and associative anti-unificationFerreira, Gabriela de SouzaNantes Sobrinho, Daniele-
4-Abr-202214-Dez-2021Técnicas Nominais e aplicações em Lógica de primeira ordemSantos, Ali Khan Caires RibeiroNantes Sobrinho, Daniele-
17-Ago-20176-Mar-2017Unificação assimétrica módulo operadores nilpotentes com homomorfismoDelboni, Bruno de AssisNantes Sobrinho, Daniele-
Mostrando resultados 1 a 8 de 8