NP Datalog
From MaRDI portal
Cited in
(8)- Magic Sets and their application to data integration
- Database Theory - ICDT 2005
- ACIDE
- MYSTIQ
- Datalog LITE
- Incremental computation of deterministic extensions for dynamic argumentation frameworks
- Positive Dedalus programs tolerate non-causality
- Using linear constraints for logic program termination analysis
This page was built for software: NP Datalog