Pages that link to "Item:Q5277825"
From MaRDI portal
The following pages link to A logical characterization of the counting hierarchy (Q5277825):
Displaying 11 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- The counting hierarchy in binary notation (Q1008842) (← links)
- Nonerasing, counting, and majority over the linear time hierarchy (Q1854524) (← links)
- Descriptive complexity of \#P functions: a new perspective (Q2220444) (← links)
- A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
- Countable Lawvere theories and computational effects (Q2863882) (← links)
- Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets (Q3431975) (← links)
- (Q3781093) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)