Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Foundations of Modal Deductive Databases
Fundamenta Informaticae
The data complexity of MDatalog in basic modal logics
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Foundations of Modal Deductive Databases
Fundamenta Informaticae
| Hi-index | 0.00 |