Pages that link to "Item:Q3430949"
From MaRDI portal
The following pages link to Constraint Satisfaction with Countable Homogeneous Templates (Q3430949):
Displaying 38 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations (Q535102) (← links)
- More sublattices of the lattice of local clones (Q603894) (← links)
- In praise of homomorphisms (Q826325) (← links)
- A new line of attack on the dichotomy conjecture (Q896081) (← links)
- The complexity of equality constraint languages (Q929295) (← links)
- Maximal infinite-valued constraint languages (Q1014639) (← links)
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- Polymorphism clones of homogeneous structures: gate coverings and automatic homeomorphicity (Q1652867) (← links)
- The wonderland of reflections (Q1709740) (← links)
- Minimal functions on the random graph (Q2017162) (← links)
- Permutation groups with small orbit growth (Q2037519) (← links)
- Tractable combinations of theories via sampling (Q2055788) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
- On a stronger reconstruction notion for monoids and clones (Q2121508) (← links)
- Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) (Q2131194) (← links)
- On polymorphism-homogeneous relational structures and their clones. (Q2257979) (← links)
- A survey of homogeneous structures (Q2275386) (← links)
- Permutation monoids and MB-homogeneity for graphs and relational structures (Q2422220) (← links)
- Schaefer's Theorem for Graphs (Q2796406) (← links)
- Reconstructing the topology of clones (Q2960444) (← links)
- Countable 1-Transitive Trees (Q3298254) (← links)
- Constraint Satisfaction Problems over the Integers with Successor (Q3448790) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- Parameterized Complexity of the Workflow Satisfiability Problem (Q4689628) (← links)
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
- Quantified Constraints in Twenty Seventeen (Q4993605) (← links)
- (Q5094139) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- (Q5109509) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- Solving equation systems in ω-categorical algebras (Q5163170) (← links)
- Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems) (Q5222129) (← links)
- Constraint Satisfaction Problems for Reducts of Homogeneous Graphs (Q5232325) (← links)
- Topological Birkhoff (Q5496670) (← links)
- Introduction to the Maximum Solution Problem (Q5504706) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
