The following pages link to (Q4218118):
Displaying 6 items.
- Axiomatization of local-global principles for pp-formulas in spaces of orderings (Q1765103) (← links)
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra (Q2084947) (← links)
- (Q2958533) (← 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)