Spectrum of FO Logic with Quantifier Depth 4 is Finite
Article in ACM Transactions on Computational Logic (March 2024)
The most recent citing publications are shown below. View all 111 publications that cite this research output on Dimensions.
Article in ACM Transactions on Computational Logic (March 2024)
Monograph (January 2023)
Conference proceeding (August 2022)