NP Datalog

swMATH13446MaRDI QIDQ25360FDOQ25360

Author name not available (Why is that?)

Described by source

• atalog: A logic language for expressing search and optimization problems

Cited In (5)

• Magic Sets and their application to data integration
• Positive Dedalus programs tolerate non-causality
• Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks
• Database Theory - ICDT 2005
• Using linear constraints for logic program termination analysis

This page was built for software: NP Datalog