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 particular para formulas abiertas.

Leave a Reply

Your email address will not be published. Required fields are marked *