Grafos y Lógica
- Impartido por el Prof. Dr. Prof. Joerg Flum de la Universidad
de Freiburg.
- Martes y Jueves de 9:30 a 11:30 h. en el Seminario del Departamento.
- Prerrequisitos: Nociones básicas de Lógica de Primer Orden y de las
clases de complejidad estándar (PTIME, NPTIME, etc.)
Documentación: