Pages that link to "Item:Q4948541"
From MaRDI portal
The following pages link to Notions of locality and their logical characterizations over finite models (Q4948541):
Displaying 20 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Solutions and query rewriting in data exchange (Q388220) (← links)
- A theory of processes with localities (Q1329198) (← links)
- Analysis and application of adaptive sampling (Q1394792) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- Incremental recomputation in local languages. (Q1401928) (← links)
- Local properties of query languages (Q1575140) (← links)
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- An existential locality theorem (Q1887659) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- Game-based notions of locality over finite models (Q2478544) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792) (← links)
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)
- Property Testing for Bounded Degree Databases (Q3304100) (← links)
- Locality and Applications to Subsumption Testing in EL and Some of its Extensions (Q4621174) (← links)
- (Q5002820) (← links)
- Computer Science Logic (Q5311255) (← links)
- (Q5324177) (← links)
