| 期刊全称 | ACM Transactions on Computational Logic | |||||||||||||||||||||||||||||||||||||||
| 期刊缩写 | ACM Trans. Comput. Logic | |||||||||||||||||||||||||||||||||||||||
|
涉及主题
（科研通AI识别） |
||||||||||||||||||||||||||||||||||||||||
| 期刊介绍 | TOCL 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. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI). 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. | |||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| 期刊ISSN | print: 1529-3785on-line: 1557-945X | |||||||||||||||||||||||||||||||||||||||
| 2025最新影响因子 (2025年6月18日公布) 与上一年的差值 |
0.9↑ 0.2 | |||||||||||||||||||||||||||||||||||||||
| 历年影响因子 |
|
|||||||||||||||||||||||||||||||||||||||
| 历年发表/被引量 （科研通AI通过大数据分析） 最后更新日期：2026-05-06 |
|
|||||||||||||||||||||||||||||||||||||||
| h-index（2021） | 43 | |||||||||||||||||||||||||||||||||||||||
| 自引率 | 14.30% | |||||||||||||||||||||||||||||||||||||||
| 涉及的研究领域 | 工程技术-计算机：理论方法 | |||||||||||||||||||||||||||||||||||||||
| 2026年新锐分区 （2026年3月24日发布） |
|
|||||||||||||||||||||||||||||||||||||||
| 中科院2025年分区 （2025年3月20日发布） |
|
|||||||||||||||||||||||||||||||||||||||
| WOS期刊分区 （2025年6月18日公布） |
JCR学科分类
JCI学科分类
|
|||||||||||||||||||||||||||||||||||||||
| 中科院2024年分区 （2023年12月27日发布） |
|
|||||||||||||||||||||||||||||||||||||||
| 中科院《国际期刊预警名单（试行）》名单 |
2024年02月发布的2024版：不在预警名单中 2023年01月发布的2023版：不在预警名单中 2021年12月发布的2021版：不在预警名单中 2021年01月发布的2020版：不在预警名单中 |
|||||||||||||||||||||||||||||||||||||||
| 期刊主页 | ||||||||||||||||||||||||||||||||||||||||
| 投稿网址 | http://mc.manuscriptcentral.com/tocl | |||||||||||||||||||||||||||||||||||||||
| 编辑部地址 | ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701 | |||||||||||||||||||||||||||||||||||||||
| 出版商 | Association for Computing Machinery (ACM) | |||||||||||||||||||||||||||||||||||||||
| 出版国家（地区） | UNITED STATES | |||||||||||||||||||||||||||||||||||||||
| 出版语言 | English | |||||||||||||||||||||||||||||||||||||||
| 出版周期 | Quarterly | |||||||||||||||||||||||||||||||||||||||
| 每年出版文章数 | 26 | |||||||||||||||||||||||||||||||||||||||
| Gold OA文章占比 | 3.41% | |||||||||||||||||||||||||||||||||||||||
| 原创研究文献占比 （排除综述） |
100.00% | |||||||||||||||||||||||||||||||||||||||
| SCI收录类型 |
Science Citation Index Expanded (SCIE) Scopus (CiteScore) |
|||||||||||||||||||||||||||||||||||||||
| PubMed链接 | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=1529-3785%5BISSN%5D | |||||||||||||||||||||||||||||||||||||||
| 平均审稿周期 | 网友分享经验： >12周，或约稿 |
|||||||||||||||||||||||||||||||||||||||
| 平均录用比例 | 网友分享经验： 容易 |
|||||||||||||||||||||||||||||||||||||||
| 相关链接 |
您可以在上述网站查看该期刊的网友互动，及期刊影响力的其它指标。
|
|||||||||||||||||||||||||||||||||||||||
皖公网安备34019202002308
