Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (9 paper(s))
2. Fundam. Inform. (2 paper(s))
3. Inf. Comput. (2 paper(s))
4. Int. J. Found. Comput. Sci. (1 paper(s))
5. J. Log. Algebr. Program. (1 paper(s))
6. J. Symb. Comput. (1 paper(s))
7. Theor. Comput. Sci. (1 paper(s))

Conferences

1. (5 paper(s))
2. Frontiers of Combining Systems (FroCoS) (3 paper(s))
3. International Colloquium on Theoretical Aspects of Computing (3 paper(s))
4. Rewriting Techniques and Applications (RTA) (3 paper(s))
5. International Conference on Automated Deduction (CADE) (2 paper(s))
6. International Conference on Logic Programming (2 paper(s))
7. Russian Conference on Logic Programming / (2 paper(s))
8. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
9. Algebraic and Logic Programming (ALP) (1 paper(s))
10. Compiler Construction (CC) (1 paper(s))
11. Compulog Workshops (1 paper(s))
12. Constraint Solving and Constraint Logic Programming (1 paper(s))
13. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))