Pablo Ventura, 2015-10-28: “Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas”

Next Wednesday P. Ventura (FaMAF-UNC) will talk about his PhD plan. Título: Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas Resumen: Se contarán algunos algoritmos basados en los lemas semánticos presentados por Campercholi y Vaggione para estructuras finitas, en…