Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (10 paper(s))
2. Artif. Intell. (6 paper(s))
3. J. Symb. Comput. (4 paper(s))
4. SIAM J. Comput. (4 paper(s))
5. Theor. Comput. Sci. (4 paper(s))
6. Inf. Comput. (3 paper(s))
7. CoRR (2 paper(s))
8. Inf. Process. Lett. (2 paper(s))
9. J. Algorithms (2 paper(s))
10. J. Comput. Syst. Sci. (2 paper(s))
11. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
12. New Generation Comput. (1 paper(s))
13. Computers and Artificial Intelligence (1 paper(s))
14. Sci. Comput. Program. (1 paper(s))
15. Discrete Applied Mathematics (1 paper(s))
16. IEEE Trans. Computers (1 paper(s))
17. Fundam. Inform. (1 paper(s))
18. J. ACM (1 paper(s))
19. J. Log. Algebr. Program. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (13 paper(s))
2. National Conference on Artificial Intelligence (AAAI) (3 paper(s))
3. Symposium on Logic Programming (SLP / ILPS / NACLP) (3 paper(s))
4. Symposium on the Theory of Computing (STOC) (3 paper(s))
5. Rewriting Techniques and Applications (RTA) (2 paper(s))
6. Conditional and Typed Rewriting Systems (CTRS) (2 paper(s))
7. Annual Symposium on Foundations of Computer Science (FOCS) (2 paper(s))
8. Conference on Functional Programming Languages and Computer Architecture (FPCA) (2 paper(s))
9. International Joint Conference on Artificial Intelligence (IJCAI) (2 paper(s))
10. International Syposium on Methodologies for Intelligent Systems (ISMIS) (2 paper(s))
11. Logic in Computer Science (LICS) (2 paper(s))
12. Logic of Programs (1 paper(s))
13. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
14. First Order Theorem Proving (FTP) (1 paper(s))
15. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
16. International Conference on Computing and Information (ICCI) (1 paper(s))
17. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
18. International Conference on Logic Programming (1 paper(s))