Tim Seppelt
  • about
  • publications
  • cv
  • teaching

Announcement_44

June 29, 2026

2026

Our paper Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth (with Isolde Adler, Eva Fluck, and Gian Luca Spitzer) has been published in Logical Methods in Computer Science.

© Copyright 2026 Tim Seppelt. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages.