Pages that link to "Item:Q4643958"
From MaRDI portal
The following pages link to A Dichotomy for First-Order Reducts of Unary Structures (Q4643958):
Displaying 9 items.
- Permutation groups with small orbit growth (Q2037519) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- PROJECTIVE CLONE HOMOMORPHISMS (Q5000252) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)
- Smooth approximations and CSPs over finitely bounded homogeneous structures (Q6649468) (← links)
- Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough (Q6654559) (← links)
- Forbidden tournaments and the orientation completion problem (Q6668354) (← links)