Journals and Conferences that author prefers

Journals

1. J. Symb. Comput. (3 paper(s))
2. Theor. Comput. Sci. (3 paper(s))
3. Acta Inf. (2 paper(s))
4. Inform., Forsch. Entwickl. (2 paper(s))
5. ITA (2 paper(s))
6. J. Autom. Reasoning (1 paper(s))

Conferences

1. Rewriting Techniques and Applications (RTA) (5 paper(s))
2. International Conference on Automated Deduction (CADE) (4 paper(s))
3. European Conference on Computer Algebra (EUROCAL) (2 paper(s))
4. Automata Theory and Formal Languages / Automatentheorie und Formale Sprachen (1 paper(s))
5. TAPSOFT (1 paper(s))
6. Birthday ... (1 paper(s))
7. Theoretical Computer Science (1 paper(s))
8. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
9. Constraints in Computational Logics (CCL) (1 paper(s))
10. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
11. Fifth Generation Computer Systems (1 paper(s))
12. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
13. Russian Conference on Logic Programming / (1 paper(s))
14. Parallel Processing and Applied Mathematics (1 paper(s))
15. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))