Graph Structure and Monadic Second-Order Logic
From International Center for Computational Logic
Graph Structure and Monadic Second-Order Logic
Talk by Michaël Thomazo
- Location: APB 3105
- Start: 19. January 2015 at 2:50 pm
- End: 19. January 2015 at 3:50 pm
- Research group: 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.
