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