Journals and Conferences that author prefers

Journals

1. J. Log. Comput. (3 paper(s))
2. Bulletin of the EATCS (2 paper(s))
3. Artif. Intell. (1 paper(s))
4. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
5. Logic Journal of the IGPL (1 paper(s))
6. J. Symb. Comput. (1 paper(s))
7. Studia Logica (1 paper(s))

Conferences

1. Russian Conference on Logic Programming / (10 paper(s))
2. Analytic Tableaux and Related Methods (TABLEAUX) (7 paper(s))
3. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (5 paper(s))
4. International Conference on Automated Deduction (CADE) (4 paper(s))
5. (4 paper(s))
6. Conference for Computer Science Logic (CSL) (2 paper(s))
7. Publications Resulting from Dagstuhl Seminars (1 paper(s))
8. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
9. First Order Theorem Proving (FTP) (1 paper(s))
10. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
11. Logic in Computer Science (LICS) (1 paper(s))
12. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))