Search Results

1

article

Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles

by Ayala Rincón, Mauricio; Tavares Araújo, Ivan E.

Published in 2001

Repository Repositorio UNAB

Get full text

2

article

Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura

by Ayala Rincón, Mauricio; Hartenstein, Reiner W.; Maya Neto, Rinaldi; Jacobi, Ricardo P.; Llanos, Carlos Humberto

Published in 2002

Repository Repositorio UNAB

Get full text

3

article

Sobre la automatización de la extracción de programas de pruebas de terminación

by Kamareddine, Fairouz; Monin, François; Ayala Rincón, Mauricio

Published in 2003

Repository Repositorio UNAB

Get full text

4

article

Sustituciones explícitas y todo eso

by Ayala Rincón, Mauricio; Muñoz, César

Published in 2000

Repository Repositorio UNAB

Get full text