Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Order in datalog with applications to declarative output
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Hi-index | 0.00 |