Tim Seppelt
  • about
  • publications
  • cv
  • teaching

Announcement_7

August 19, 2023

2023

We’ve uploaded two new preprints to arXiv: Check out Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability (with Moritz Lichter and Benedikt Pago) and Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth (with Eva Fluck and Gian Luca Spitzer)!

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