Pages that link to "Item:Q5738900"
From MaRDI portal
The following pages link to Locality of order-invariant first-order formulas (Q5738900):
Displayed 9 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- Incremental recomputation in local languages. (Q1401928) (← links)
- Consistent query answering for primary keys in Datalog (Q2035471) (← links)
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)
- Towards a characterization of order-invariant queries over tame graphs (Q3616348) (← links)
- (Q5091138) (← links)
- Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657) (← links)