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 Fernández, Maribel
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 7 de 7
Fixed-point constraints for nominal equational unification
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele
11-Jun-2019
★
★
★
★
★
(0)
Fixed-point constraints for nominal equational unification
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele
11-Jun-2019
★
★
★
★
★
(0)
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
Ayala-Rincón, Mauricio; Fernández, Maribel
Carvalho Segundo, Washington Luís Ribeiro de
27-Set-2019
★
★
★
★
★
(0)
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
Ayala-Rincón, Mauricio; Fernández, Maribel
Carvalho Segundo, Washington Luís Ribeiro de
27-Set-2019
★
★
★
★
★
(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 teorias AC-convergentes localmente estáveis
Ayala-Rincón, Mauricio; Fernández, Maribel
Nantes Sobrinho, Daniele
9-Dez-2013
★
★
★
★
★
(0)
Unificação, confluência e tipos com interseção para sistemas de reescrita nominal
Ayala-Rincón, Mauricio; Fernández, Maribel
Valverde, Ana Cristina Rocha Oliveira
1-Fev-2017
★
★
★
★
★
(0)