Pages that link to "Item:Q3431975"
From MaRDI portal
The following pages link to Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets (Q3431975):
Displaying 4 items.
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- The Complexity of Counting Quantifiers on Equality Languages (Q3188273) (← links)
- Quantifiers in logic and proof-search using permissive-nominal terms and sets (Q3195622) (← links)
- Approximate formulae for a logic that capture classes of computational complexity (Q3613175) (← links)