Graph Structure and Monadic Second-Order Logic
Aus International Center for Computational Logic
Graph Structure and Monadic Second-Order Logic
Vortrag von Michaël Thomazo
- Veranstaltungsort: APB 3105
- Beginn: 19. Januar 2015 um 14:50
- Ende: 19. Januar 2015 um 15:50
- Forschungsgruppe: Computational Logic
- Event series: KBS Seminar
- iCal
In this talk, I will introduce the book from Courcelle and Engelfriet (Graph Structure and Monadic Second-Order Logic -- A Language-Theoretic Approach). In particular, we will see families of graphs (of bounded treewidth/cliquewidth), their links with monadic second order-logic, and fixed-parameter tractability. The talk aims at brushing an overview of the book, and should be as largely accessible as possible.
