Journals and Conferences that author prefers

Journals

1. Ann. Pure Appl. Logic (10 paper(s))
2. Arch. Math. Log. (3 paper(s))
3. Bulletin of the EATCS (3 paper(s))
4. J. Symb. Comput. (3 paper(s))
5. Studia Logica (3 paper(s))
6. Fundam. Inform. (2 paper(s))
7. Logic Journal of the IGPL (2 paper(s))
8. J. Log. Comput. (2 paper(s))
9. Theor. Comput. Sci. (2 paper(s))
10. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
11. Math. Log. Q. (1 paper(s))

Conferences

1. Conference for Computer Science Logic (CSL) (10 paper(s))
2. Russian Conference on Logic Programming / (9 paper(s))
3. Analytic Tableaux and Related Methods (TABLEAUX) (8 paper(s))
4. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (7 paper(s))
5. (5 paper(s))
6. International Conference on Automated Deduction (CADE) (3 paper(s))
7. Österreichische Artificial Intelligence-Tagung (ÖGAI) (3 paper(s))
8. Birthday ... (2 paper(s))
9. Publications Resulting from Dagstuhl Seminars (2 paper(s))
10. Database and Expert Systems Applications (DEXA) (2 paper(s))
11. Mathematical Knowledge Management (1 paper(s))
12. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
13. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
14. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
15. Deutsche Jahrestagung für Künstliche Intelligenz (1 paper(s))
16. Logic in Computer Science (LICS) (1 paper(s))
17. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))