Pages that link to "Item:Q1071525"
From MaRDI portal
The following pages link to The implication and finite implication problems for typed template dependencies (Q1071525):
Displayed 6 items.
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- Verification of knowledge bases based on containment checking (Q1274279) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- Incomplete deductive databases (Q1360679) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)