Journals and Conferences that author prefers

Journals

1. Inf. Comput. (7 paper(s))
2. Electr. Notes Theor. Comput. Sci. (4 paper(s))
3. J. Symb. Comput. (4 paper(s))
4. Theor. Comput. Sci. (4 paper(s))
5. CoRR (3 paper(s))
6. Appl. Algebra Eng. Commun. Comput. (2 paper(s))
7. Inf. Process. Lett. (2 paper(s))
8. Acta Inf. (1 paper(s))
9. Journal of Functional and Logic Programming (1 paper(s))
10. J. Funct. Program. (1 paper(s))
11. Ann. Math. Artif. Intell. (1 paper(s))

Conferences

1. (15 paper(s))
2. Rewriting Techniques and Applications (RTA) (11 paper(s))
3. International Conference on Automated Deduction (CADE) (7 paper(s))
4. TAPSOFT (3 paper(s))
5. Conference for Computer Science Logic (CSL) (3 paper(s))
6. Algebraic and Logic Programming (ALP) (2 paper(s))
7. Conditional and Typed Rewriting Systems (CTRS) (2 paper(s))
8. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
9. Theory and Applications of Satisfiability Testing (1 paper(s))
10. Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (1 paper(s))
11. Developments in Language Theory (1 paper(s))
12. Fuji International Symposium on Functional and Logic Programming (1 paper(s))
13. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
14. Logical Foundations of Computer Science (LFCS) (1 paper(s))
15. Logic in Computer Science (LICS) (1 paper(s))
16. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
17. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
18. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))