Pages that link to "Item:Q2785670"
From MaRDI portal
The following pages link to On winning strategies with unary quantifiers (Q2785670):
Displayed 8 items.
- Solutions and query rewriting in data exchange (Q388220) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- Counting quantifiers, successor relations, and logarithmic space (Q1362332) (← links)
- Local properties of query languages (Q1575140) (← links)
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- Counting modulo quantifiers on finite structures (Q1854352) (← links)
- Game-based notions of locality over finite models (Q2478544) (← links)
- Notions of locality and their logical characterizations over finite models (Q4948541) (← links)