Skip navigation

Navegando por Assunto Unificação nominal

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 4 de 4
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-
2018-Fixed-point constraints for nominal equational unificationAyala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele--
27-Set-201920-Fev-2019Nominal equational problems modulo associativity, commutativity and associativity-commutativityCarvalho Segundo, Washington Luís Ribeiro deAyala-Rincón, MauricioFernández, Maribel
13-Ago-202426-Jan-2024Rumo à unificação nominal ACSilva, Gabriel FerreiraRincon, Maurício AyalaFernández, Maribel