Journals and Conferences that author prefers

Journals

1. CoRR (7 paper(s))
2. Theor. Comput. Sci. (5 paper(s))
3. Electr. Notes Theor. Comput. Sci. (3 paper(s))
4. Inf. Comput. (3 paper(s))
5. Bulletin of the EATCS (2 paper(s))
6. Constraints (1 paper(s))
7. Inf. Process. Lett. (1 paper(s))
8. ITA (1 paper(s))
9. J. ACM (1 paper(s))
10. J. Log. Algebr. Program. (1 paper(s))
11. J. Symb. Comput. (1 paper(s))
12. SIAM J. Comput. (1 paper(s))

Conferences

1. Rewriting Techniques and Applications (RTA) (8 paper(s))
2. Logic in Computer Science (LICS) (6 paper(s))
3. Birthday ... (3 paper(s))
4. (3 paper(s))
5. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
6. International Joint Conference on Artificial Intelligence (IJCAI) (3 paper(s))
7. Russian Conference on Logic Programming / (2 paper(s))
8. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
9. International Conference on Automated Deduction (CADE) (2 paper(s))
10. COMPASS Workshops (2 paper(s))
11. Advanced Courses (1 paper(s))
12. Workshop on Algebraic Development Techniques (WADT) / (1 paper(s))
13. Algebraic and Logic Programming (ALP) (1 paper(s))
14. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
15. Automated Technology for Verification and Analysis (1 paper(s))
16. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
17. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
18. TAPSOFT (1 paper(s))
19. Constraints in Computational Logics (CCL) (1 paper(s))
20. Conference for Computer Science Logic (CSL) (1 paper(s))
21. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
22. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))