Pages that link to "Item:Q1403324"
From MaRDI portal
The following pages link to Adding a path connectedness operator to \(FO+poly(linear)\) (Q1403324):
Displayed 3 items.
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- Reachability and connectivity queries in constraint databases (Q1394800) (← links)
- \(N\)-dimensional versus \((N-1)\)-dimensional connectivity testing of first-order queries to semi-algebraic sets (Q2576661) (← links)