Título: Lógicas para razonar sobre grafos con datos Director: Santiago Figueira Director adjunto: Diego Figueira Consejera de estudios: Teresa Krick Jurados: Dra. Flavia Bonomo, UBA & CONICET Dra. Magdalena Ortiz, TUW, Austria Dr. Domagoj Vrgoc, PUC, Chile Link Youtube: https://youtube.com/live/6e82iE8-hco Resumen: En esta tesis analizamos una serie de problemas relevantes [...]

Título: On the Completeness of a Syntactically Linear Logic Director: Alejandro Díaz-Caro Jurados: Pablo Barenbaum (Universidad de Buenos Aires) Octavio Malherbe (Universidad de la República) Benoît Valiron (Université Paris-Saclay) Resumen: El cálculo L-S, una extensión del lenguaje de pruebas de la lógica lineal relacionado con la computación cuántica, ha [...]