Journals and Conferences that author prefers

Journals

1. Inf. Comput. (4 paper(s))
2. J. Symb. Comput. (4 paper(s))
3. J. Autom. Reasoning (3 paper(s))
4. AI Commun. (2 paper(s))
5. Inf. Process. Lett. (2 paper(s))
6. ACM Trans. Comput. Log. (2 paper(s))
7. Constraints (1 paper(s))
8. J. ACM (1 paper(s))
9. Theor. Comput. Sci. (1 paper(s))
10. Discrete Applied Mathematics (1 paper(s))

Conferences

1. (10 paper(s))
2. International Conference on Automated Deduction (CADE) (7 paper(s))
3. Rewriting Techniques and Applications (RTA) (6 paper(s))
4. Logic in Computer Science (LICS) (6 paper(s))
5. Russian Conference on Logic Programming / (4 paper(s))
6. Computer Aided Verification (CAV) (3 paper(s))
7. Publications Resulting from Dagstuhl Seminars (2 paper(s))
8. Workshop on Algebraic Development Techniques (WADT) / (1 paper(s))
9. APPIA-GULP-PRODE (1 paper(s))
10. Theory and Applications of Satisfiability Testing (1 paper(s))
11. Constraints in Computational Logics (CCL) (1 paper(s))
12. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
13. European Symposium on Programming (ESOP) (1 paper(s))
14. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
15. Frontiers of Combining Systems (FroCoS) (1 paper(s))
16. PROSPECTRA (1 paper(s))