Journal of the ACM (JACM)
Constraints in computational logics
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Basic Paramodulation and Decidable Theories
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Higher-Order and Symbolic Computation
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hi-index | 0.00 |