The following pages link to STACS 2005 (Q5710723):
Displaying 6 items.
- A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid (Q1650007) (← 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)
- Two Fraïssé-style theorems for homomorphism-homogeneous relational structures (Q2279998) (← links)
- Permutation monoids and MB-homogeneity for graphs and relational structures (Q2422220) (← links)
- Preserving Constraints with the Stable Chase (Q3305357) (← links)
