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 |