Logics with counting and local properties
From MaRDI portal
Publication:5738897
DOI10.1145/343369.343376zbMath1365.03025MaRDI QIDQ5738897
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/343369.343376
Related Items
An optimal construction of Hanf sentences, Expressive power of SQL., Shrinking games and local formulas, The complexity of first-order and monadic second-order logic revisited, An existential locality theorem, Game-based notions of locality over finite models