Pages that link to "Item:Q1919539"
From MaRDI portal
The following pages link to On winning Ehrenfeucht games and monadic NP (Q1919539):
Displaying 18 items.
- One unary function says less than two in existential second order logic (Q286970) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- Zero-one \(k\)-law (Q418871) (← links)
- Locality and modular Ehrenfeucht-Fraïssé games (Q420850) (← links)
- The weak zero-one laws for the random distance graphs (Q606499) (← links)
- Zero-one laws for first-order formulas with a bounded quantifier depth (Q656220) (← links)
- On a sequence of random distance graphs subject to the zero-one law (Q764404) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- The closure of monadic NP (Q1577017) (← links)
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- Counting modulo quantifiers on finite structures (Q1854352) (← links)
- Shrinking games and local formulas (Q1877096) (← links)
- On winning Ehrenfeucht games and monadic NP (Q1919539) (← links)
- On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra (Q2084947) (← links)
- The monadic quantifier alternation hierarchy over grids and graphs (Q2506497) (← links)
- Games on Strings with a Limited Order Relation (Q3605528) (← links)
- Notions of locality and their logical characterizations over finite models (Q4948541) (← links)
- Nonstandard methods for finite structures (Q6096330) (← links)
