Publications

2 results for Neil Immerman

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