Publications

3 results for Nikhil Vyas

MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS
- - Ronald Fagin
  - Jonathan Lenchner
  - et al.
- 2025
- Logical Methods in Computer Science
Paper
On the Number of Quantifiers as a Complexity Measure
- - Ronald Fagin
  - Jonathan Lenchner
  - et al.
- 2022
- MFCS 2022
Conference paper
Multi-Structural Games and Number of Quantifiers
- - Ronald Fagin
  - Jonathan Lenchner
  - et al.
- 2021
- LICS 2021
Conference paper