The following pages link to On the expressive power of counting (Q672336):
Displaying 14 items.
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- On the power of enumerative counting (Q1199550) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Counting quantifiers, successor relations, and logarithmic space (Q1362332) (← links)
- Local properties of query languages (Q1575140) (← links)
- Logical definability of counting functions (Q1816735) (← links)
- Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets (Q3431975) (← links)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (Q3498475) (← links)
- (Q3757896) (← links)
- Hanf normal form for first-order logic with unary counting quantifiers (Q4635883) (← links)
- Arithmetic, first-order logic, and counting quantifiers (Q5277734) (← links)
- LATIN 2004: Theoretical Informatics (Q5901673) (← links)
- First-order definable counting-only queries (Q5919275) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)