Gian Luca Spitzer

According to our database, Gian Luca Spitzer authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth.

Isolde Adler, Eva Fluck, Tim Seppelt, Gian Luca Spitzer

CoRR, May, 2025

2024

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth.

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024