Matchings in Low-Arboricity Graphs in the Dynamic Graph Stream ModelChristian KonradAndrew McGregoret al.2024FSTTCS 2024
On the Number of Quantifiers Needed to Define Boolean FunctionsMarco CarmosinoRonald Faginet al.2024MFCS 2024
MULTI-STRUCTURAL GAMES AND BEYONDMarco CarmosinoRonald Faginet al.2024Logical Methods in Computer Science