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计算逻辑事务欢迎提交与计算机科学主题相关的所有方面的逻辑。这一领域在计算机科学方面有着悠久的传统。 逻辑在计算机科学中继续发挥着重要的作用，并已渗透到它的几个领域，包括人工智能、计算复杂性、数据库系统和编程语言。 该杂志的编辑委员会寻求并希望吸引高质量的提交在上述所有领域的计算逻辑，使TOCL成为该领域的标准参考。 理论和应用论文都是寻求。特别欢迎提交显示逻辑在计算机科学中的新颖应用的作品。
|
期刊ISSN
|
1529-3785 |
|
最新的影响因子
|
0.5 |
|
最新CiteScore值
|
1.72 |
|
最新自引率
|
8.10% |
|
期刊官方网址
|
http://tocl.acm.org/ |
|
期刊投稿网址
|
http://mc.manuscriptcentral.com/tocl |
|
通讯地址
|
ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 |
|
偏重的研究方向（学科）
|
工程技术-计算机：理论方法 |
|
出版周期
|
Quarterly |
|
平均审稿速度
|
>12周，或约稿 |
|
出版年份
|
0 |
|
出版国家/地区
|
UNITED STATES |
|
是否OA
|
No |
|
SCI期刊coverage
|
Science Citation Index Expanded（科学引文索引扩展） |
|
NCBI查询
|
PubMed Central (PMC)链接 全文检索(pubmed central) |
|
最新中科院JCR分区
|
大类(学科)
小类(学科)
JCR学科排名
数学
COMPUTER SCIENCE, THEORY & METHODS(计算机科学，理论和方法) 4区
LOGIC(逻辑学) 2区
81/103
7/20
|
|||||||
|
最新的影响因子
|
0.5 | |||||||
| 最新公布的期刊年发文量 |
|
|||||||
| 总被引频次 | 424 | |||||||
| 特征因子 | 0.001440 | |||||||
| 影响因子趋势图 |
2007年以来影响因子趋势图（整体平稳趋势）
|
|||||||
|
最新CiteScore值
|
1.72
=
引文计数(2018)
文献(2015-2017)
=
174次引用
101篇文献
|
||||||||||
| 文献总数（2014-2016） | 101 | ||||||||||
|
被引用比率
|
64% | ||||||||||
|
SJR
|
0.573 | ||||||||||
|
SNIP
|
1.607 | ||||||||||
|
CiteScore排名
|
|
||||||||||
| CiteScore趋势图 |
CiteScore趋势图
|
||||||||||
| scopus涵盖范围 |
scopus趋势图
|
||||||||||
| 分享者 | 点评内容 |
