Navegar

Colección

Datos Estadísticas

Lista de

Ayala Rincón, Mauricio
3
2014
2
Lombardi, Carlos Alberto. (2014). "Espacios de reducción en sistemas de reescritura no-secuenciales e infinitarios". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Steren, Gabriela. (2014). "Dos temas en reescritura : combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.