ACM Transactions on Computational Logic

期刊基本信息

期刊名称：ACM Transactions on Computational Logic

出版国家或地区：UNITED STATES

是否OA：No

期刊ISSN：1529-3785

期刊官方网站：http://tocl.acm.org/

期刊投稿网址：http://mc.manuscriptcentral.com/tocl

通讯方式：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701

涉及的研究方向：工程技术-计算机：理论方法

出版周期：Quarterly

期刊数据表：

ACM Transactions on Computational Logic英文简介：

ACM Transactions on Computational Logic welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science.Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

ACM Transactions on Computational Logic中文简介：

ACM计算逻辑事务欢迎提交与计算机科学主题相关的所有方面的逻辑。这一领域在计算机科学方面有着悠久的传统。逻辑在计算机科学中继续发挥着重要的作用，并已渗透到它的几个领域，包括人工智能、计算复杂性、数据库系统和编程语言。该杂志的编辑委员会寻求并希望吸引高质量的提交在上述所有领域的计算逻辑，使TOCL成为该领域的标准参考。理论和应用论文都是寻求。特别欢迎提交显示逻辑在计算机科学中的新颖应用的作品。

历年影响因子

ACM Transactions on Computational Logic在线问答：