Pages that link to "Item:Q2878749"
From MaRDI portal
The following pages link to A fragment of dependence logic capturing polynomial time (Q2878749):
Displaying 8 items.
- Polynomials, fragments of temporal logic and the variety DA over traces (Q880176) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Polynomials, Fragments of Temporal Logic and the Variety DA over Traces (Q3617044) (← links)
- (Q5013879) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- On Dependence Logic (Q5249667) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)