The following pages link to Computer Science Logic (Q5292624):
Displaying 10 items.
- Equivariant algorithms for constraint satisfaction problems over coset templates (Q344534) (← links)
- Tension continuous maps -- their structure and applications (Q427807) (← links)
- Homogeneous and strictly homogeneous criteria for partial structures (Q1028463) (← links)
- Determining the consistency of partial tree descriptions (Q1028903) (← links)
- The wonderland of reflections (Q1709740) (← links)
- Constraint Satisfaction with Countable Homogeneous Templates (Q3430949) (← links)
- Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
- Ramsey properties of edge-labelled graphs via completions (Q6621219) (← links)
- Complexity classification transfer for CSPs via algebraic products (Q6621744) (← links)
- Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough (Q6654559) (← links)