Showing
1 - 5
results of
5
for search '
Ayala Rincón, Mauricio
'
Skip to content
Toggle navigation
Inicio
La Red
Quiénes Somos
Objetivos
Historia de la Red
¿Cómo ser parte de la red?
Contacto
Servicios
Cursos y Talleres
Recursos
Colecciones Especializadas
Destacados
Contraste
Aumentar letra
Reducir letra
Centro de relevo
Filtrar por
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Author
Ayala Rincón, Mauricio
Showing
1 - 5
results of
5
for search '
Ayala Rincón, Mauricio
', query time: 0.04s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
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
Sustituciones explícitas y todo eso
by
Ayala Rincón, Mauricio
;
Muñoz, César
Published in 2000
Repository Repositorio UNAB
Get full text
3
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
4
article
A deductive calculus for conditional equational systems with built-in predicates as premises
by
Ayala-Rincón, Mauricio
Published in 1997
Repository Repositorio UN
Get full text
Get full text
5
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
Search Tools:
Get RSS Feed
—
Email this Search
×
Loading...
