Pages that link to "Item:Q4254565"
From MaRDI portal
The following pages link to Finite Variable Logics in Descriptive Complexity Theory (Q4254565):
Displaying 13 items.
- A restricted second order logic for finite structures (Q1271559) (← links)
- Bounded variable logics: Two, three, and more (Q1306792) (← links)
- Equivalence in finite-variable logics is complete for polynomial time (Q1977423) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- A combinatorial characterization of resolution width (Q2475405) (← links)
- Large finite structures with few \(L^k\)-types (Q2506492) (← links)
- Number of variables is equivalent to space (Q2758055) (← links)
- Graphs Identified by Logics with Counting (Q2946347) (← links)
- Semantic Restrictions over Second-Order Logic (Q3458159) (← links)
- (Q4202936) (← links)
- (Q5091278) (← links)
- Complexity and expressivity of propositional dynamic logics with finitely many variables (Q5095651) (← links)
- First-order definable counting-only queries (Q5919275) (← links)