Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. J. Symb. Comput. (3 paper(s))
3. Theor. Comput. Sci. (3 paper(s))
4. Appl. Algebra Eng. Commun. Comput. (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. J. Autom. Reasoning (1 paper(s))
7. J. Log. Algebr. Program. (1 paper(s))
8. Math. Log. Q. (1 paper(s))
9. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. APPIA-GULP-PRODE (6 paper(s))
2. Relational Methods in Computer Science (RelMiCS) (4 paper(s))
3. Birthday ... (3 paper(s))
4. International Conference on Automated Deduction (CADE) (2 paper(s))
5. Journées Francophones de Programmation Logique par Contraintes (1 paper(s))
6. (1 paper(s))
7. Answer Set Programming (1 paper(s))
8. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
9. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
10. Extensions of Logic Programming (ELP) (1 paper(s))
11. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
12. Foundations of Logic and Functional Programming (1 paper(s))
13. First Order Theorem Proving (FTP) (1 paper(s))
14. International Conference on Logic Programming (1 paper(s))
15. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))