Datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
Arity and alternation: a proper hierarchy in higher order logics
Annals of Mathematics and Artificial Intelligence
Arity and alternation: a proper hierarchy in higher order logics
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |