Journals and Conferences that author prefers

Journals

1. J. ACM (2 paper(s))
2. J. Symb. Comput. (2 paper(s))
3. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
4. Inf. Comput. (1 paper(s))
5. Inf. Process. Lett. (1 paper(s))
6. J. Autom. Reasoning (1 paper(s))
7. J. Log. Comput. (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (8 paper(s))
2. Rewriting Techniques and Applications (RTA) (6 paper(s))
3. Logic in Computer Science (LICS) (5 paper(s))
4. Conditional and Typed Rewriting Systems (CTRS) (2 paper(s))
5. Kurt Gödel Colloquium (KGC) (2 paper(s))
6. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
7. Algebraic and Logic Programming (ALP) (1 paper(s))
8. Russian Conference on Logic Programming / (1 paper(s))
9. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
10. TAPSOFT (1 paper(s))
11. Constraints in Computational Logics (CCL) (1 paper(s))
12. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
13. COMPASS Workshops (1 paper(s))
14. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
15. Frontiers of Combining Systems (FroCoS) (1 paper(s))
16. International Conference on Computational Science (ICCS) (1 paper(s))
17. International Conference on Logic Programming (1 paper(s))
18. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))