Tim Seppelt
  • about
  • publications
  • cv
  • teaching

Announcement_10

October 28, 2023

2023

Our papers 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) were accepted for CSL 2024.

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