research
∙
03/02/2023
Canonical decompositions in monadically stable and bounded shrubdepth graph classes
We use model-theoretic tools originating from stability theory to derive...
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/16/2022
Twin-width and types
We study problems connected to first-order logic in graphs of bounded tw...
research
∙
02/08/2022
