Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (7 paper(s))
2. Ann. Pure Appl. Logic (2 paper(s))
3. CoRR (2 paper(s))
4. Inf. Process. Lett. (2 paper(s))
5. J. Symb. Log. (2 paper(s))
6. Fundam. Inform. (1 paper(s))
7. Inf. Comput. (1 paper(s))
8. J. ACM (1 paper(s))
9. J. Comb. Theory, Ser. B (1 paper(s))
10. J. Funct. Program. (1 paper(s))
11. J. Symb. Comput. (1 paper(s))
12. Logical Methods in Computer Science (1 paper(s))
13. Mathematical Structures in Computer Science (1 paper(s))
14. SIAM J. Comput. (1 paper(s))

Conferences

1. Logic in Computer Science (LICS) (6 paper(s))
2. Conference for Computer Science Logic (CSL) (2 paper(s))
3. Annual Symposium on Foundations of Computer Science (FOCS) (2 paper(s))
4. Rewriting Techniques and Applications (RTA) (2 paper(s))
5. International Conference on Typed Lambda Calculus and Applications (TLCA) (2 paper(s))
6. Birthday ... (1 paper(s))
7. Computational Learning Theory (COLT) (1 paper(s))
8. Italian Conference on Theoretical Computer Science (ICTCS) (1 paper(s))
9. Russian Conference on Logic Programming / (1 paper(s))
10. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
11. Semantics of Concurrent Computation (1 paper(s))