Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (3 paper(s))
2. Inf. Comput. (1 paper(s))
3. J. Autom. Reasoning (1 paper(s))
4. J. Symb. Comput. (1 paper(s))
5. J. Log. Comput. (1 paper(s))
6. CoRR (1 paper(s))

Conferences

1. (16 paper(s))
2. Advanced Information Networking and Applications (2 paper(s))
3. TAPSOFT (1 paper(s))
4. Algebraic and Logic Programming (ALP) (1 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. International Conference on Automated Deduction (CADE) (1 paper(s))
7. Computer Aided Verification (CAV) (1 paper(s))
8. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
9. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
10. International Symposium on Information Technology (1 paper(s))
11. Automated Software Engineering (ASE) (1 paper(s))
12. Logic in Computer Science (LICS) (1 paper(s))
13. Russian Conference on Logic Programming / (1 paper(s))
14. Pacific Rim International Conference on Artificial Intelligence (PRICAI) (1 paper(s))
15. Rewriting Techniques and Applications (RTA) (1 paper(s))