Pages that link to "Item:Q3616348"
From MaRDI portal
The following pages link to Towards a characterization of order-invariant queries over tame graphs (Q3616348):
Displaying 6 items.
- Computing possible and certain answers over order-incomplete data (Q2334598) (← links)
- Order-invariant types and their applications (Q2800972) (← 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)
- Order-invariant MSO is stronger than counting MSO in the finite (Q4910729) (← links)
- Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657) (← links)