Game characterizations for the number of quantifiers
Article in Mathematical Structures in Computer Science (January 2024)
The most recent citing publications are shown below. View all 82 publications that cite this research output on Dimensions.
Article in Mathematical Structures in Computer Science (January 2024)
Conference proceeding (November 2023)
Article in Journal of Applied and Industrial Mathematics (November 2022)