Portal eduCapes: Buscando no repositório

Navegando por Autor Fernández, Maribel

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)
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)
Rumo à unificação nominal AC
Rincon, Maurício Ayala; Fernández, Maribel
Silva, Gabriel Ferreira
13-Ago-2024
★★★★★ (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)
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)

Mostrando resultados 1 a 7 de 7