The following pages link to Juha Nurmonen (Q1568708):
Displayed 8 items.
- Vectorization hierarchies of some graph quantifiers (Q1568709) (← links)
- Counting modulo quantifiers on finite structures (Q1854352) (← links)
- On winning strategies with unary quantifiers (Q2785670) (← links)
- (Q3536275) (← links)
- (Q4346298) (← links)
- Notions of locality and their logical characterizations over finite models (Q4948541) (← links)
- (Q4955350) (← links)
- Logics with aggregate operators (Q5441362) (← links)