Locality of order-invariant first-order formulas
From MaRDI portal
Publication:5738900
DOI10.1145/343369.343386zbMath1365.68204MaRDI QIDQ5738900
Martin Grohe, Thomas Schwentick
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.343386
Related Items
A logical approach to locality in pictures languages, On the expressive power of monadic least fixed point logic, Expressive power of SQL., Incremental recomputation in local languages., Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates, Towards a characterization of order-invariant queries over tame graphs