Skip navigation

Buscar por Orientador Nantes Sobrinho, Daniele

Ir a: 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
O introducir las primeras letras:  
Mostrando resultados 1 a 7 de 7
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
11-ene-202228-sep-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-may-202122-ene-2021Operadores de redução para completamento de sistemas de reescritaGonzález Barragán, Andrés FelipeNantes Sobrinho, Daniele-
3-abr-202311-oct-2022Syntactic, commutative and associative anti-unificationFerreira, Gabriela de SouzaNantes Sobrinho, Daniele-
4-abr-202214-dic-2021Técnicas Nominais e aplicações em Lógica de primeira ordemSantos, Ali Khan Caires RibeiroNantes Sobrinho, Daniele-