On the Number of Quantifiers as a Complexity Measure
- Award ID(s):
- 2127597
- PAR ID:
- 10392777
- Date Published:
- Journal Name:
- 47th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found