Teaching
At the Computer Science School of Barcelona
(FIB):
Lógica en la Informática de Grado (LI-GRAU)
Logica en la Informática
Compiladores
Compiladores I
(antiguo)
Compiladores II
(antiguo)
Programacion Declarativa
Logica de Primer Orden
Doctorado: Fundamentos de logica y algebra