Journals and Conferences that author prefers

Journals

1. J. Symb. Log. (4 paper(s))
2. New Generation Comput. (2 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. Ann. Pure Appl. Logic (1 paper(s))
5. J. Log. Comput. (1 paper(s))
6. Comput. J. (1 paper(s))
7. CoRR (1 paper(s))
8. Bulletin of the EATCS (1 paper(s))
9. Discrete Applied Mathematics (1 paper(s))
10. Electr. Notes Theor. Comput. Sci. (1 paper(s))
11. Formal Asp. Comput. (1 paper(s))
12. Grammars (1 paper(s))
13. Inf. Comput. (1 paper(s))
14. Inf. Process. Lett. (1 paper(s))
15. J. Autom. Reasoning (1 paper(s))
16. J. Funct. Program. (1 paper(s))
17. J. Log. Algebr. Program. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (2 paper(s))
2. International Conference on Logic Programming (2 paper(s))
3. International Colloquium on Theoretical Aspects of Computing (2 paper(s))
4. Russian Conference on Logic Programming / (2 paper(s))
5. Birthday ... (1 paper(s))
6. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
7. Conference for Computer Science Logic (CSL) (1 paper(s))
8. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
9. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
10. Machines, Computations, and Universality (MCU) (1 paper(s))
11. (1 paper(s))