Pages that link to "Item:Q1314281"
From MaRDI portal
The following pages link to On the expressivity of feature logics with negation, functional uncertainty, and sort equations (Q1314281):
Displayed 4 items.
- A complete and recursive feature theory (Q673135) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)