Graph Structure and Monadic Second-Order Logic: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tomas Masopust (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Graph Structure and Monadic Second-Order Logic |Beschreibung EN=In this talk, I will introduce the book from Courcelle and Engelfriet…“) |
Irina Dragoste (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Veranstaltung | {{Veranstaltung | ||
|Titel EN=Graph Structure and Monadic Second-Order Logic | |Titel EN=Graph Structure and Monadic Second-Order Logic | ||
|Beschreibung EN=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. | |Beschreibung EN=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. | ||
|Veranstaltungsart=Vortrag | |Veranstaltungsart=Vortrag | ||
|Start=2015/01/19 14:50:00 | |Start=2015/01/19 14:50:00 | ||
| Zeile 8: | Zeile 8: | ||
|Vortragender=Michaël Thomazo | |Vortragender=Michaël Thomazo | ||
|Forschungsgruppe=Computational Logic | |Forschungsgruppe=Computational Logic | ||
|Event series=KBS Seminar | |||
|In News anzeigen=1 | |In News anzeigen=1 | ||
}} | }} | ||
Aktuelle Version vom 18. Oktober 2018, 06:09 Uhr
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.
