Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Valverde, Ana Cristina Rocha Oliveira

Mostrando resultados 1 a 2 de 2

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 2 de 2