Pages that link to "Item:Q4643958"
From MaRDI portal
The following pages link to A Dichotomy for First-Order Reducts of Unary Structures (Q4643958):
Displayed 6 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)
- \((\mathbb{Z},\mathrm{succ},U)\), \((\mathbb{Z},E,U)\), and their CSP's (Q6111953) (← links)