Pages that link to "Item:Q4635923"

The following pages link to Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction (Q4635923):

Displaying 7 items.

• 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)
• A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
• Constraint Satisfaction Problems over Numeric Domains (Q4993596) (← links)
• (Q5154970) (← links)
• Constraint Satisfaction Problems for Reducts of Homogeneous Graphs (Q5232325) (← links)
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)