research
∙
02/07/2023
First-Order Model Checking on Structurally Sparse Graph Classes
A class of graphs is structurally nowhere dense if it can be constructed...
share
research
∙
01/31/2023
Flipper games for monadically stable graph classes
A class of graphs 𝒞 is monadically stable if for any unary expansion 𝒞 o...
research
∙
06/29/2022
Combinatorial and Algorithmic Aspects of Monadic Stability
Nowhere dense classes of graphs are classes of sparse graphs with rich s...
research
∙
06/28/2022
Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes
An indiscernible sequence (a̅_i)_1≤ i≤ n in a structure is an ordered se...
research
∙
02/25/2022
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
We present a fixed-parameter tractable algorithm for first-order model c...
research
∙
02/09/2021