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
Acesso Restrito
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 Ayala-Rincón, Mauricio
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 20 de 55
Próximo »*
Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genes
Ayala-Rincón, Mauricio
Soncco Álvarez, José Luis
17-Mai-2017
★
★
★
★
★
(0)
Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genes
Ayala-Rincón, Mauricio
Soncco Álvarez, José Luis
17-Mai-2017
★
★
★
★
★
(0)
Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção
Ayala-Rincón, Mauricio
Ventura, Daniel Lima
29-Jun-2011
★
★
★
★
★
(0)
Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção
Ayala-Rincón, Mauricio
Ventura, Daniel Lima
29-Jun-2011
★
★
★
★
★
(0)
Dynamically reconfigurable heterogeneous parallel island model
Ayala-Rincón, Mauricio
Silveira, Lucas Ângelo da
16-Out-2024
★
★
★
★
★
(0)
Dynamically reconfigurable heterogeneous parallel island model
Ayala-Rincón, Mauricio
Silveira, Lucas Ângelo da
16-Out-2024
★
★
★
★
★
(0)
Expansibilidade em cálculos de substituições explícitas
Ayala-Rincón, Mauricio; Ventura, Daniel Lima
Silva, Fábio Henrique da
29-Jul-2013
★
★
★
★
★
(0)
Expansibilidade em cálculos de substituições explícitas
Ayala-Rincón, Mauricio; Ventura, Daniel Lima
Silva, Fábio Henrique da
29-Jul-2013
★
★
★
★
★
(0)
Explicit substitutions and all that
Ayala-Rincón, Mauricio; Muñoz, César
5-Mar-2013
★
★
★
★
★
(0)
Explicit substitutions and all that
Ayala-Rincón, Mauricio; Muñoz, César
5-Mar-2013
★
★
★
★
★
(0)
Fixed-point constraints for nominal equational unification
Ayala-Rincón, Mauricio; Fernández, Maribel; Nantes Sobrinho, Daniele
11-Jun-2019
★
★
★
★
★
(0)
Formalização da automação da terminação através de grafos com matrizes de medida
Ayala-Rincón, Mauricio
Avelar, Andréia Borges
4-Mai-2015
★
★
★
★
★
(0)
Formalização da confluência para sistemas de reescrita ortogonais
Ayala-Rincón, Mauricio
Oliveira, Ana Cristina Rocha
20-Dez-2012
★
★
★
★
★
(0)
Formalização da confluência para sistemas de reescrita ortogonais
Ayala-Rincón, Mauricio
Oliveira, Ana Cristina Rocha
20-Dez-2012
★
★
★
★
★
(0)
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Ayala-Rincón, Mauricio; Galdino, André Luiz
Avelar, Andréia Borges
7-Mai-2011
★
★
★
★
★
(0)
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Ayala-Rincón, Mauricio; Galdino, André Luiz
Avelar, Andréia Borges
7-Mai-2011
★
★
★
★
★
(0)
Formalização da terminação de especificações funcionais
Ayala-Rincón, Mauricio
Ramos, Thiago Mendonça Ferreira
27-Abr-2017
★
★
★
★
★
(0)
Formalização da terminação de especificações funcionais
Ayala-Rincón, Mauricio
Ramos, Thiago Mendonça Ferreira
27-Abr-2017
★
★
★
★
★
(0)
Grammar compression by induced suffix sorting
Nunes, Daniel Saad Nogueira; Louza, Felipe A.; Gog, Simon; Ayala-Rincón, Mauricio; Navarro, Gonzalo
4-Dez-2022
★
★
★
★
★
(0)
Grammar compression by induced suffix sorting
Nunes, Daniel Saad Nogueira; Louza, Felipe A.; Gog, Simon; Ayala-Rincón, Mauricio; Navarro, Gonzalo
4-Dez-2022
★
★
★
★
★
(0)