ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Extending logic programming beyond computability
Journal of Computing Sciences in Colleges
A modular semantics for higher-order declarative programming with constraints
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Hi-index | 0.00 |