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:

• Tree-decompositions and the model-checking program
• Query evaluation via tree-decompositions