| MTA |
Multimedia Tools and Applications |
否
|
否
|
|
未收录
|
Q2
|
C
|
| DAM |
Discrete Applied Mathematics |
否
|
否
|
|
未收录
|
Q2
|
未收录
|
| JGO |
Journal of Global Optimization |
SCI
|
SSCI
|
|
未收录
|
Q2
|
未收录
|
| TIT |
IEEE Transactions on Information Theory |
否
|
否
|
|
未收录
|
Q1
|
A
|
| SICOMP |
SIAM Journal on Computing |
否
|
否
|
|
未收录
|
Q1
|
A
|
| IANDC |
Information and Computation |
否
|
否
|
|
未收录
|
Q2
|
A
|
| JSC |
Journal of Symbolic Computation |
否
|
否
|
|
未收录
|
Q1
|
B
|
| TOMS |
ACM Transactions on Mathematical Software |
否
|
否
|
|
未收录
|
Q2
|
B
|
| TOCL |
ACM Transactions on Computational Logic |
否
|
否
|
|
未收录
|
Q2
|
B
|
| TCS |
Theoretical Computer Science |
否
|
否
|
|
未收录
|
Q2
|
B
|
| TALG |
ACM Transactions on Algorithms |
否
|
否
|
|
未收录
|
Q1
|
B
|
| MSCS |
Mathematical Structures in Computer Science Cambridge |
否
|
否
|
|
未收录
|
Q2
|
B
|
| JCSS |
Journal of Computer and System Sciences |
否
|
否
|
|
未收录
|
Q1
|
B
|
| FMSD |
Formal Methods in System Design |
否
|
否
|
|
未收录
|
Q2
|
B
|
| FAC |
Formal Aspects of Computing |
否
|
否
|
|
未收录
|
Q2
|
B
|
| Algorithmica |
Algorithmica |
否
|
否
|
|
未收录
|
Q2
|
B
|
| ACTA |
Acta Informatica |
否
|
否
|
|
未收录
|
Q1
|
C
|
| JSL |
Journal of Symbolic Logic |
否
|
否
|
|
未收录
|
Q1
|
C
|
| LISP |
Higher |
否
|
否
|
|
未收录
|
未收录
|
C
|
| LMCS |
Logical Methods in Computer Science |
否
|
否
|
|
未收录
|
未收录
|
C
|
| LOGCOM |
Journal of Logic and Computation |
否
|
否
|
|
未收录
|
Q2
|
C
|
| JCOMPLEXITY |
Journal of Complexity |
否
|
否
|
|
未收录
|
Q1
|
C
|
| FUIN |
Fundamenta Informaticae |
否
|
否
|
|
未收录
|
Q2
|
C
|
| SIDMA |
SIAM Journal on Discrete Mathematics |
否
|
否
|
|
未收录
|
Q2
|
C
|
| APAL |
Annals of Pure and Applied Logic |
否
|
否
|
|
未收录
|
Q2
|
C
|
| CHB |
Computers in Human Behavior |
否
|
SSCI
|
三星
|
Q1
|
Q1
|
未收录
|
| JOC |
INFORMS Journal on Computing |
SCIE
|
否
|
三星
|
Q3
|
Q2
|
未收录
|