Multi-Structural Games and Number of Quantifiers

Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas 0001. Multi-Structural Games and Number of Quantifiers. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-13, IEEE, 2021. [doi]

Authors

Ronald Fagin

This author has not been identified. Look up 'Ronald Fagin' in Google

Jonathan Lenchner

This author has not been identified. Look up 'Jonathan Lenchner' in Google

Kenneth W. Regan

This author has not been identified. Look up 'Kenneth W. Regan' in Google

Nikhil Vyas 0001

This author has not been identified. Look up 'Nikhil Vyas 0001' in Google