Título: Pure Pattern Calculus à la de Bruijn Director: Andrés Ezequiel Viso Co-director: Alejandro Ríos Jurados:    Pablo Barenbaum (Universidad de Buenos Aires)    Hernán Melgratti (Universidad de Buenos Aires) Resumen: Es bien conocido en el estudio de lenguajes de programación que lidiar con ligadores y nombres de variables puede ocasionar conflictos como ser [...]

Título: Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento Directora: M. Vanina Martinez Director adjunto: Ricardo O. Rodriguez Consejero de estudios: Daniel Acevedo Jurados: Dr. Eduardo Barrio UBA & CONICET, Buenos Aires, Argentina Dr. Ramón Pino Perez, Université Artois, Lens, Francia Dra. Renata [...]