Portal do Governo Brasileiro
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Menu
Inicio
Busca
Sobre o Educapes
Sobre o eduCapes
Como faço minha busca?
Como submeto meu material?
Parceiros
Contato
Fale conosco
Dúvidas frequentes
Login
Submissões
Receber atualizações
por e-mail
Editar Conta
Avaliação do
Você é humano?
8
5
=
Navegar por:
Assunto
Autores
Data do documento
Título
Material UAB
Periódicos
Portal eduCapes
Seta
Navegando por Autor Nantes Sobrinho, Daniele
Classificar por:
Título
Data do documento
Data de envio
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 11 de 11
A detailed study of bounded ACh-unification
Nantes Sobrinho, Daniele
Brandão, Guilherme Borges
6-Ago-2024
★
★
★
★
★
(0)
Desunificação nominal via restrições de ponto fixo
Nantes Sobrinho, Daniele
Batista, Leonardo Melo
10-Jan-2022
★
★
★
★
★
(0)
Fixed-point constraints for nominal equational unification
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele
11-Jun-2019
★
★
★
★
★
(0)
Nominal anti-unification with atom-variables
Goethe Universität, Frankfurt am Main; Imperial College London, Department of Computing; University of Brasília, Department of Mathematics
Schmidt-Schauß, Manfred; Nantes Sobrinho, Daniele
10-Jul-2023
★
★
★
★
★
(0)
Nominal commutative narrowing
Nantes Sobrinho, Daniele; dani.sms@hotmail.com
Souza, Daniella Santaguida Magalhães de
20-Ago-2022
★
★
★
★
★
(0)
Nominal disunification
Nantes Sobrinho, Daniele
Vale, Deivid Rodrigues do
25-Mar-2020
★
★
★
★
★
(0)
O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
Ayala-Rincón, Mauricio; Fernández, Maribel
Nantes Sobrinho, Daniele
9-Dez-2013
★
★
★
★
★
(0)
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Ayala-Rincón, Mauricio
Nantes Sobrinho, Daniele
13-Mai-2010
★
★
★
★
★
(0)
Operadores de redução para completamento de sistemas de reescrita
Nantes Sobrinho, Daniele; andresfciencias@gmail.com
González Barragán, Andrés Felipe
23-Mai-2021
★
★
★
★
★
(0)
Syntactic, commutative and associative anti-unification
Nantes Sobrinho, Daniele
Ferreira, Gabriela de Souza
3-Abr-2023
★
★
★
★
★
(0)
Técnicas Nominais e aplicações em Lógica de primeira ordem
Nantes Sobrinho, Daniele; alikhancaires14@hotmail.com
Santos, Ali Khan Caires Ribeiro
4-Abr-2022
★
★
★
★
★
(0)