The following pages link to On Sets and Graphs (Q5360855):
Displayed 5 items.
- Adding the power-set to description logics (Q1989328) (← links)
- Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960) (← links)
- (Q5020586) (← links)
- (Q5087784) (← links)
- Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* (Q5158658) (← links)