research
∙
08/11/2023
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
We study the expressive power of first-order logic with counting quantif...
share
research
∙
03/16/2022
