Eva Fluck

activity

20222025

most citedTangles and Hierarchical Clustering

1 citations · 1 across the 1 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2025

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth

Isolde Adler, Eva Fluck, Tim Seppelt +1

We study the expressive power of first-order logic with counting quantifiers, especially the $k$ -variable and quantifier-rank- $q$ fragment, using homomorphism indistinguishability.…

cs.LO2023

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

We study the expressive power of first-order logic with counting quantifiers, especially the $k$ -variable and quantifier-rank- $q$ fragment $C_{q}^{k}$ , using homomorphism indi…