Gian Luca Spitzer

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Classical Logic

Discrete Random Variables

Top Venues

Publications

Eva Fluck, Tim Seppelt, Gian Luca Spitzer
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. CSL (2024)
Eva Fluck, Tim Seppelt, Gian Luca Spitzer
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. CoRR (2023)