计算机科学理论领域重点期刊

期刊简称 期刊全称 SCI索引 SSCI索引 AJG(ABS)星级 中科院分区 CiteScore分区 CCF等级
TIT IEEE Transactions on Information Theory 未收录 Q1 A
IANDC Information and Computation 未收录 Q2 A
SICOMP SIAM Journal on Computing 未收录 Q1 A
FAC Formal Aspects of Computing 未收录 Q2 B
JSC Journal of Symbolic Computation 未收录 Q1 B
TCS Theoretical Computer Science 未收录 Q2 B
FMSD Formal Methods in System Design 未收录 Q2 B
JCSS Journal of Computer and System Sciences 未收录 Q1 B
MSCS Mathematical Structures in Computer Science Cambridge 未收录 Q2 B
TALG ACM Transactions on Algorithms 未收录 Q1 B
TOCL ACM Transactions on Computational Logic 未收录 Q2 B
TOMS ACM Transactions on Mathematical Software 未收录 Q2 B
INFORMS INFORMS Journal on Computing 未收录 Q2 B
Algorithmica Algorithmica 未收录 Q2 B
DAM Discrete Applied Mathematics 未收录 Q2 C
JSL Journal of Symbolic Logic 未收录 Q1 C
ACTA Acta Informatica 未收录 Q1 C
APAL Annals of Pure and Applied Logic 未收录 Q2 C
FUIN Fundamenta Informaticae 未收录 Q2 C
LISP Higher 未收录 未收录 C
LMCS Logical Methods in Computer Science 未收录 未收录 C
SIDMA SIAM Journal on Discrete Mathematics 未收录 Q2 C
LOGCOM Journal of Logic and Computation 未收录 Q2 C
JCOMPLEXITY Journal of Complexity 未收录 Q1 C