Zwei akzeptierte Paper von Tim Seppelt
10.11.2023
Congratulations to Tim Seppelt for the accepted papers "Limitations of Game Comonads via Homomorphism Indistinguishability" (together with Moritz Lichter and Benedikt Pago) and "Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth" (together with Eva Fluck and Gian Luca Spitzer) for the 32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL’24).