Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Ayala-Rincón, Mauricio

Mostrando resultados 1 a 20 de 21 Próximo »*

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)
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)
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 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)
Grammar compression by induced suffix sorting
Ayala-Rincón, Mauricio
Nunes, Daniel Saad Nogueira
1-Jun-2022
★★★★★ (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 um protocolo criptográfico especificado via reescrita módulo AC
Ayala-Rincón, Mauricio
Nantes Sobrinho, Daniele
13-Mai-2010
★★★★★ (0)
On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Ayala-Rincón, Mauricio; Muñoz, César Augusto
Almeida, Ariane Alves
3-Nov-2021
★★★★★ (0)
Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações
Ayala-Rincón, Mauricio
Moraes, José Luiz Correa de
8-Nov-2012
★★★★★ (0)
Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos
Ayala-Rincón, Mauricio
Soncco Álvarez, José Luis
2-Ago-2013
★★★★★ (0)
Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos
Ayala-Rincón, Mauricio
Silveira, Lucas Ângelo da
30-Mai-2016
★★★★★ (0)
Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
Ayala-Rincón, Mauricio
Lima, Thaynara Arielly de
3-Dez-2010
★★★★★ (0)
Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau e Vishkin e uso de arranjos de sufixos para reduzir o uso de espaço
Ayala-Rincón, Mauricio
Miranda, Rodrigo César de Castro
26-Nov-2009
★★★★★ (0)
Um estudo em unificação e desunificação módulo
Ayala-Rincón, Mauricio
Arshid, Mehwish
12-Mar-2021
★★★★★ (0)
Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória
Ayala-Rincón, Mauricio
Nunes, Daniel Saad Nogueira
30-Out-2013
★★★★★ (0)
Uma formalização da teoria de reescrita em linguagem de ordem superior
Ayala-Rincón, Mauricio
Galdino, André Luiz
26-Fev-2009
★★★★★ (0)
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Ayala-Rincón, Mauricio
Almeida, Ariane Alves
22-Out-2014
★★★★★ (0)

Mostrando resultados 1 a 20 de 21 Próximo »*

Você é humano?

Navegando por Autor Ayala-Rincón, Mauricio