The following pages link to NP Datalog (Q25360):
Displayed 5 items.
- Magic Sets and their application to data integration (Q882436) (← links)
- Positive Dedalus programs tolerate non-causality (Q2453541) (← links)
- Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks (Q2835878) (← links)
- Using linear constraints for logic program termination analysis (Q4593032) (← links)
- Database Theory - ICDT 2005 (Q5316603) (← links)