Pages that link to "Item:Q4973030"
From MaRDI portal
The following pages link to Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures (Q4973030):
Displaying 16 items.
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- ASNP: a tame fragment of existential second-order logic (Q2106601) (← links)
- Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) (Q2131194) (← links)
- PROJECTIVE CLONE HOMOMORPHISMS (Q5000252) (← links)
- CORES OVER RAMSEY STRUCTURES (Q5000273) (← links)
- When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Solving equation systems in ω-categorical algebras (Q5163170) (← links)
- Pseudo‐loop conditions (Q5205451) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- On the descriptive complexity of temporal constraint satisfaction problems (Q6567262) (← 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)
