← back to paper
arxiv: 2604.27693 · 2 revisions
Order-invariant cluster first-order logic on graph classes of bounded degree