首页 / CCF 2014 / 计算机科学理论
1 Information and Computation A类
2 SIAM Journal on Computing A类
3 IEEE Transactions on Information Theory A类
4 ACM Transactions on Algorithms B类
5 ACM Transactions on Computational Logic B类
6 ACM Transactions on Mathematical Software B类
7 Algorithmica B类
8 Computational complexity B类
9 Formal Aspects of Computing B类
10 Formal Methods in System Design B类
11 INFORMS Journal on Computing B类
12 Journal of Computer and System Sciences B类
13 Journal of Global Optimization B类
14 Journal of Symbolic Computation B类
15 Mathematical Structures in Computer Science B类
16 Theoretical Computer Science B类
17 Annals of Pure and Applied Logic C类
18 Acta Informatica C类
19 Discrete Applied Mathematics C类
20 Fundamenta Informaticae C类
21 Higher-Order and Symbolic Computation C类
22 Information Processing Letters C类
23 Journal of Complexity C类
24 Journal of Logic and Computation C类
25 Journal of Symbolic Logic C类
26 Logical Methods in Computer Science C类
27 SIAM Journal on Discrete Mathematics C类
28 Theory of Computing Systems C类