Programa -

Navegar

Últimos publicados Año Nombre de la asignatura Docente Departamento

Colección

Lista de

Ríos, Alejandro Norberto

Reescritura, Cálculo Lambda y Sustituciones Explícitas (2006). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Reescritura, Cálculo Lambda y Sustituciones Explícitas (2005). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Reescritura, Cálculo Lambda y Sustituciones Explícitas (2011). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Reescritura y Cálculo Lambda (2021). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Reescritura, Cálculo Lambda y Substituciones Explícitas (1998). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Reescritura, Cálculo Lambda y Sustituciones Explícitas (2008). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Tópicos de Reescritura: Confluencias y Normalización (2011). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Tópicos de Reescritura: Confluencia y Normalización (2008). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Reescritura, Cálculo Lambda y Substituciones Explícitas (1997). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación

Tópicos de Reescritura: Confluencia y Normalización (2007). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación