The following pages link to (Q2769034):
Displaying 17 items.
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- Infinity problems and countability problems for \(\omega \)-automata (Q845856) (← links)
- Reversal complexity revisited (Q935164) (← links)
- A note on first-order projections and games. (Q1401218) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- On the power of tree-walking automata. (Q1401944) (← links)
- On the reducibility of sets inside NP to sets with low information content (Q1765294) (← links)
- Adding for-loops to first-order logic (Q1854443) (← links)
- Dichotomies for classes of homomorphism problems involving unary functions (Q1884913) (← links)
- Boolean grammars (Q1886037) (← links)
- Low-level dichotomy for quantified constraint satisfaction problems (Q1944186) (← links)
- Complexity of local, global and universality properties in finite dynamical systems (Q2104128) (← links)
- Descriptive complexity and revealed preference theory (Q2334833) (← links)
- The first order theory of \(G(n, c/n)\) (Q2422223) (← links)
- CATEGORICAL COMPLEXITY (Q3304647) (← links)
- A Logical Characterization of Small 2NFAs (Q4605508) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
