Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (5 paper(s))
2. CoRR (3 paper(s))
3. J. Log. Comput. (1 paper(s))
4. Theor. Comput. Sci. (1 paper(s))
5. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. (6 paper(s))
2. APPIA-GULP-PRODE (2 paper(s))
3. ACM SIGPLAN International Conference on Functional Programming (ICFP) (2 paper(s))
4. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (2 paper(s))
5. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
6. Scottish Functional Programming Workshops (1 paper(s))
7. Conference for Computer Science Logic (CSL) (1 paper(s))
8. Extensions of Logic Programming (ELP) (1 paper(s))
9. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
10. International Conference on Logic Programming (1 paper(s))
11. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE) (1 paper(s))
12. Logical Foundations of Computer Science (LFCS) (1 paper(s))
13. Russian Conference on Logic Programming / (1 paper(s))
14. TYPES Workshops (1 paper(s))
15. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))