Publications

4 results for Marco Carmosino

Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the Gap
- - Stefan Grosser
  - Marco Carmosino
- 2025
- STOC 2025
Provability of the Circuit Size Hierarchy and Its Consequences
- - Marco Carmosino
  - Valentine Kabanets
  - et al.
- 2025
- ITCS 2025
MULTI-STRUCTURAL GAMES AND BEYOND
- - Marco Carmosino
  - Ronald Fagin
  - et al.
- 2024
- Logical Methods in Computer Science
On the Number of Quantifiers Needed to Define Boolean Functions
- - Marco Carmosino
  - Ronald Fagin
  - et al.
- 2024
- MFCS 2024