14:00
15:00
Title: On some extensions of First-Order logic on graphs
Abstract: In this talk we present a landscape of extensions of first-order logic (on graphs) and we discuss their expressive power and algorithmic results related to them. These extensions involve either additional predicates expressing different types of connectivity or the quantification over vertex sets that are (in a sense) of simple structure.
Français
178