计算机科学理论2010-08-30-06_36_44.doc

中国计算机学会推荐国际学术刊物 （计算机科学理论） A类 序号 刊物简称 刊物全称 出版社 网址 TALG ACM Transactions on Algorithms ACM / SICOMP SIAM Journal on Computing Society for Industrial and Applied Mathematics /sicomp B类 序号 刊物简称 刊物全称 出版社 网址 TOCL ACM Transactions on Computational Logic ACM / Information Computation Elsevier /locate/ic TIT IEEE Transactions on Information Theory IEEE /portal/site/mainsite/menuitem.818c0c39e85ef176fb2275875bac26c8/index.jsp?pName=corp_level1path=pubs/transactionsfile=tit.xmlxsl=generic.xsl TCS Theoretical Computer Science Elsevier /locate/tcs Formal Aspects of Computing Springer /content/102822/ Acta Informatica Springer /content/100460/ MSCS Mathematical Structures in Computer Science Cambridge University /action/displayJournal?jid=MSC Algorithmica Springer /link.asp?id=100117 Computational Complexity Springer /content/101499/ Journal of Complexity Birkh?user Basel JSL Journal of Symbolic Logic Association for Symbolic Logic /journals-journal.html APAL Annuals of Pure and Applied Logic Elsevier /wps/find/journaldescription.cws_home/505603/description#description Discrete Applied Mathematics Elsevier /wps/find/journaldescription.cws_home/505609/description#description JSC Journal of Symbolic Computation Elsevier /wps/find/journaldescription.cws_home/622902/description#description LMCS Logical Methods in Computer Science /index.php 三、C类 序号 刊物简称 刊物全称 出版社 网址 IJFCS International Journal of Foundations of Computer Science World Scientific /~ijfcs/ Discrete Event Dynamic Systems – Theory and Applications Springer /math/applications/journal/10626 Formal Methods in System Design Springer /content/100266/ HOSC Higher-Order and Symbolic Computation Springer /computer/foundations/journal/10990 Archive for Mathematical Logic Springer /math/journal/153 中国计算机学会推荐国际学术会议 （计算机科学理论） 一、A类 序号 会议简称 会议全称 出版社 网址 STOC ACM Symposium on Theory of Computing ACM /stoc/ FOCS IEEE Symposium on Foundations of Computer Science IEEE /