Pages that link to "Item:Q1394800"

The following pages link to Reachability and connectivity queries in constraint databases (Q1394800):

Displaying 4 items.

• On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
• \(N\)-dimensional versus \((N-1)\)-dimensional connectivity testing of first-order queries to semi-algebraic sets (Q2576661) (← links)
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918401) (← links)
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)