Pages that link to "Item:Q2922020"
From MaRDI portal
The following pages link to Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q2922020):
Displaying 5 items.
- (Q3143039) (← links)
- Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q4608722) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)
- (Q5144688) (← links)
- Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657) (← links)