Pages that link to "Item:Q5145662"
From MaRDI portal
The following pages link to Descriptive complexity of real computation and probabilistic independence logic (Q5145662):
Displayed 6 items.
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence (Q2172822) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← 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)
- Parameterized complexity of propositional inclusion and independence logic (Q6199587) (← links)