| TIT |
IEEE Transactions on Information Theory |
IEEE |
计算机科学理论 |
A |
| IANDC |
Information and Computation |
Elsevier |
计算机科学理论 |
A |
| SICOMP |
SIAM Journal on Computing |
SIAM |
计算机科学理论 |
A |
| TALG |
ACM Transactions on Algorithms |
ACM |
计算机科学理论 |
B |
| TOCL |
ACM Transactions on Computational Logic |
ACM |
计算机科学理论 |
B |
| TOMS |
ACM Transactions on Mathematical Software |
ACM |
计算机科学理论 |
B |
| Algorithmica |
Algorithmica |
Springer |
计算机科学理论 |
B |
| CC |
Computational Complexity |
Springer |
计算机科学理论 |
B |
| FAC |
Formal Aspects of Computing |
Springer |
计算机科学理论 |
B |
| FMSD |
Formal Methods in System Design |
Springer |
计算机科学理论 |
B |
| INFORMS |
INFORMS Journal on Computing |
INFORMS |
计算机科学理论 |
B |
| JCSS |
Journal of Computer and System Sciences |
Elsevier |
计算机科学理论 |
B |
| JGO |
Journal of Global Optimization |
Springer |
计算机科学理论 |
B |
| JSC |
Journal of Symbolic Computation |
Elsevier |
计算机科学理论 |
B |
| MSCS |
Mathematical Structures in Computer Science |
Cambridge University Press |
计算机科学理论 |
B |
| TCS |
Theoretical Computer Science |
Elsevier |
计算机科学理论 |
B |
| ACTA |
Acta Informatica |
Springer |
计算机科学理论 |
C |
| APAL |
Annals of Pure and Applied Logic |
Elsevier |
计算机科学理论 |
C |
| DAM |
Discrete Applied Mathematics |
Elsevier |
计算机科学理论 |
C |
| FUIN |
Fundamenta Informaticae |
IOS Press |
计算机科学理论 |
C |
| LISP |
Higher-Order and Symbolic Computation |
Springer |
计算机科学理论 |
C |
| IPL |
Information Processing Letters |
Elsevier |
计算机科学理论 |
C |
| JCOMPLEXITY |
Journal of Complexity |
Elsevier |
计算机科学理论 |
C |
| LOGCOM |
Journal of Logic and Computation |
Oxford University Press |
计算机科学理论 |
C |
| JSL |
Journal of Symbolic Logic |
Association for Symbolic Logic |
计算机科学理论 |
C |
| LMCS |
Logical Methods in Computer Science |
LMCS |
计算机科学理论 |
C |
| SIDMA |
SIAM Journal on Discrete Mathematics |
SIAM |
计算机科学理论 |
C |
| TeoCS |
Theory of Computing Systems |
Springer |
计算机科学理论 |
C |