Skip navigation

Browsing by Orientador Nantes Sobrinho, Daniele

Jump to: 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
or enter first few letters:  
Showing results 1 to 5 of 5
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
11-Jan-202228-Sep-2021Desunificação nominal via restrições de ponto fixoBatista, Leonardo MeloNantes Sobrinho, Daniele-
20-Aug-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-Jan-2021Operadores de redução para completamento de sistemas de reescritaGonzález Barragán, Andrés FelipeNantes Sobrinho, Daniele-
4-Apr-202214-Dec-2021Técnicas Nominais e aplicações em Lógica de primeira ordemSantos, Ali Khan Caires RibeiroNantes Sobrinho, Daniele-