Pages that link to "Item:Q2946761"
From MaRDI portal
The following pages link to Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761):
Displaying 6 items.
- On the speed of constraint propagation and the time complexity of arc consistency testing (Q2409578) (← links)
- (Q3143039) (← links)
- An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic (Q4608719) (← links)
- Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q4608722) (← links)
- Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps (Q4635882) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)
