We are glad to invite you to the dissertation by Pablo Ventura, presenting his thesis “Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden” (Algorithms deciding definability of relations in fragments of first-order logic), under the supervision of Miguel Campercholi. This thesis was submitted for the degree of Bachelor (Licenciatura) in Computer Science.
Classroom: 17.
Date: March, 2nd. 2016.
Time: 15:00.
(source)