Gold OA文章占比：3.41%
OA被引用占比：0
开源占比：0
研究类文章占比：100.00%
国际标准简称：ACM T COMPUT LOG
人气 175
《Acm Transactions On Computational Logic》是一本专注于COMPUTER SCIENCE, THEORY & METHODS领域的English学术期刊，创刊于2000年，由Association for Computing Machinery (ACM)出版商出版，出版周期Quarterly。该刊发文范围涵盖COMPUTER SCIENCE, THEORY & METHODS等领域，旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, THEORY & METHODS工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。该刊已被SCIE数据库收录，在中科院JCR最新升级版分区表中，该刊分区信息为大类学科计算机科学4区，2023年影响因子为0.7。
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.
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 3区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 3区 3区 | 否 | 否 |
中科院分区：中科院分区是SCI期刊分区的一种，是由中国科学院国家科学图书馆制定出来的分区。主要有两个版本，即基础版和升级版。2019年中国科学院文献情报中心期刊分区表推出了升级版，实现了基础版和升级版的并存过渡；升级版是对基础版的延续和改进，将期刊由基础版的13个学科扩展至18个，科研评价将更加明确。
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 学科：LOGIC | SCIE | Q1 | 4 / 25 |
86%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79%
|
| 学科：LOGIC | SCIE | Q2 | 12 / 25 |
54%
|
JCR分区：JCR（Journal Citation Reports）由科睿唯安公司（前身为汤森路透）开发。JCR没有设置大类,只将期刊分为176个具体学科，也就是中科院分区中的小类学科。基于不同学科的当年影响因子高低进行排序，将期刊的数量均匀分为四个部分，Q1区代表学科分类中影响因子排名前25%的期刊，以此类推，Q2区为前25%-50%期刊，Q3区为前50%-75%期刊，Q4区为75%以后期刊。
CiteScore排名：
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Mathematics 小类：Logic | Q2 | 11 / 41 |
73%
|
| 大类：Mathematics 小类：Computational Mathematics | Q3 | 99 / 189 |
47%
|
| 大类：Mathematics 小类：General Computer Science | Q3 | 135 / 232 |
42%
|
| 大类：Mathematics 小类：Theoretical Computer Science | Q3 | 81 / 130 |
37%
|
CiteScore值计算方式：例如2024公布的CiteScore是将统计在 2020年-2023年间年所发表文章的引用次数除以在 2020年-2023年间所发表的发文总数。
CiteScore数据来源：是由全球著名学术出版商Elsevier（爱思唯尔）基于其Scopus数据库推出的期刊评价指标。CiteScore指数以四年区间为基准来计算每本期刊的平均被引用次数，并提供期刊领域排名、期刊分区的相关信息，它的作用是测量期刊的篇均影响力。
近年中科院分区趋势图
近年IF值(影响因子)趋势图
影响因子：是美国科学信息研究所(ISI)的期刊引证报告(JCR)中的一项数据。指的是某一期刊的文章在特定年份或时期被引用的频率，是衡量学术期刊影响力的一个重要指标。自1975年以来，每年定期发布于“期刊引证报告”(JCR)。
| 机构名称 | 发文量 |
| CENTRE NATIONAL DE LA RECHER... | 14 |
| UNIVERSITY OF OXFORD | 7 |
| UNIVERSITY OF LONDON | 5 |
| UNIVERSITY OF WARSAW | 5 |
| UNIVERSITE DE PARIS | 4 |
| UNIVERSITY OF AMSTERDAM | 4 |
| UNIVERSITY OF BREMEN | 4 |
| UNIVERSITY OF ERLANGEN NUREM... | 4 |
| UNIVERSITY OF LIVERPOOL | 4 |
| UNIVERSITY OF LUXEMBOURG | 4 |
| 国家/地区 | 发文量 |
| England | 24 |
| France | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 11 |
| USA | 9 |
| Poland | 8 |
| Netherlands | 7 |
| Australia | 5 |
| Finland | 5 |
| Spain | 5 |
| 文章引用名称 | 引用次数 |
| Modularisation of Sequent Ca... | 3 |
| Are Short Proofs Narrow? QBF... | 3 |
| Checking Admissibility Using... | 3 |
| A Higher-Order Calculus of C... | 3 |
| Interval vs. Point Temporal ... | 2 |
| Path Categories and Proposit... | 2 |
| An Epistemic Strategy Logic | 2 |
| Some Subsystems of Constant-... | 2 |
| Fast Query Answering over Ex... | 2 |
| Reasoning about Cognitive Tr... | 1 |
| 被引用期刊名称 | 数量 |
| LOG METH COMPUT SCI | 39 |
| ARTIF INTELL | 23 |
| ACM T COMPUT LOG | 19 |
| THEOR PRACT LOG PROG | 19 |
| MATH STRUCT COMP SCI | 18 |
| THEOR COMPUT SCI | 17 |
| J AUTOM REASONING | 15 |
| J COMPUT SYST SCI | 10 |
| J LOG ALGEBR METHODS | 10 |
| IEEE ACCESS | 7 |
| 引用期刊名称 | 数量 |
| THEOR COMPUT SCI | 37 |
| J ACM | 27 |
| INFORM COMPUT | 23 |
| J LOGIC COMPUT | 22 |
| ACM T COMPUT LOG | 19 |
| ARTIF INTELL | 17 |
| SIAM J COMPUT | 17 |
| LOG METH COMPUT SCI | 15 |
| ANN PURE APPL LOGIC | 13 |
| J AUTOM REASONING | 10 |
1、建议稿件控制10页以上，文章撰写语言为英语；（单栏格式，单倍行距，内容10号字体，文稿类型包含：原创研究(Original Research)、案例报告(Case Report)、文献综述(Literature Review)等；文件格式包含word、PDF、LaTeX等。
2、稿件重复率控制10%以内，论文务必保证原创性、图标、公式、引文等要素齐备，保证附属资料的完整。已发表或引用过度的文章将不会被出版和检索，禁止一稿多投，拒绝抄袭、机械性的稿件。
3、稿件必须有较好的英语表达水平，有图，有表，有公式，有数据或设计，有算法（方案，模型），实验，仿真等；参考文献控制25条以上，参考文献引用一半以上控制在近5年以内。
图片和图表要求：1、建议使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW压缩。
2、文件大小最大不超过20MB，不要以单个文件的形式上传数据。
3、彩色图片的分辨率≥300dpi；黑白图片的分辨率在≥500dpi；line art图片类型的分辨率≥1000dpi；色彩模式建议采用RGB，除非期刊注明要CMYK。
4、线条不要细于0.25pt,也不能太粗，超过1.5pt,过细或过粗都影响美观。
5、表格一般和manuscrript放置在一个word文档里部分期刊 需要单独上传表格。
作者信息：1、包括作者姓名、最高学位，作者单位（精确到部门），邮箱，地址，邮编，关键词，内容，总结，项目基金，参考文献，作者相片+简介（一定要确保作者信息准确无误，提交稿件之后这部分不能再作改动）。
更多征稿细则请查阅杂志社征稿要求。本站专注期刊投稿服务十年，确保SCI检索，稿件信息安全保密，合乎学术规范不成功不收费，详情请咨询客服。
ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
若用户需要出版服务，请联系出版商：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区