Publications

2 results for Nikhil Vyas

On the Number of Quantifiers as a Complexity Measure
- - Ronald Fagin
  - Jonathan Lenchner
  - et al.
- 2022
- MFCS 2022
Multi-Structural Games and Number of Quantifiers
- - Ronald Fagin
  - Jonathan Lenchner
  - et al.
- 2021
- LICS 2021