ACM Transactions on Computational Logic
| 短名 | ACM Trans. Comput. Logic |
| Journal Impact | 0.67 |
| 国际分区 | LOGIC(Q1) |
| 期刊索引 | SCI Q4中科院 4 区 |
| ISSN | 1529-3785, 1557-945X |
| h-index | 52 |
| 国内分区 | 数学(4区)数学计算机理论方法(4区)数学逻辑学(4区) |
《ACM Transactions on Computational Logic》欢迎与计算机科学相关的逻辑各个方面的投稿。该领域在计算机科学中有着悠久的传统，许多获得ACM图灵奖的研究人员对其做出了重要贡献，包括EDGAR CODD（关系数据库系统）、STEPHEN COOK（逻辑理论的复杂性）、EDSGER W. DIJKSTRA、ROBERT W. FLOYD、TONY HOARE、AMIR PNUELI、DANA SCOTT、EDMOND M. CLARKE、ALLEN E. EMERSON和JOSEPH SIFAKIS（程序逻辑、程序推导和验证、编程语言语义）、ROBIN MILNER（交互式定理证明、并发演算和函数式编程）以及JOHN MCCARTHY（函数式编程和人工智能中的逻辑）。逻辑在计算机科学中继续发挥着重要作用，并已渗透到多个领域，包括人工智能、计算复杂性、数据库系统和编程语言。本刊编委会希望吸引在上述所有计算逻辑领域提交高质量论文，使《ACM Transactions on Computational Logic》成为该领域的标准参考。我们欢迎理论和应用论文的投稿，特别是那些展示逻辑在计算机科学中新颖应用的研究。
期刊主页投稿网址| 涉及主题 | 计算机科学数学程序设计语言理论计算机科学离散数学算法人工智能哲学语言学认识论组合数学纯数学数学分析几何学物理域代数上的生物描述逻辑 |
| 出版信息 | 出版商: Association for Computing Machinery (ACM)，出版周期: Quarterly，期刊类型: journal，开源期刊: 否 |
| 基本数据 | 创刊年份: 2000，原创研究文献占比: 100.00%，自引率:14.30%， Gold OA占比: 3.41% |
| 平均审稿周期 | 网友分享经验：>12周，或约稿 |
| 平均录用比例 | 网友分享经验：容易 |
期刊引文格式
这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。
有 1 位以上作者的期刊
有 2 位作者的期刊
有 3 位作者的期刊
有 5 位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。
专利引用格式
手工熬夜修改参考文献？研飞自动匹配期刊，一键轻松成稿，支持 Word/WPS
点击下方按钮，免费开启试用！
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
基于饱和的高阶有理模式统一算法
2024-11-12
Canonisation and Definability for Graphs of Bounded Rank Width
有界秩宽图的规范化和可定义性
2022-10-26
Linear Logic Properly Displayed
线性逻辑的恰当展示
2022-11-7
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
量子逻辑线性时序扩展的语义分析及其动态特性
2022-12-16
On Composing Finite Forests with Modal Logics
关于用模态逻辑构造有限森林
2022-12-29
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
基于饱和的高阶有理模式统一算法
2024-11-12
Solving promise equations over monoids and groups
求解幺半群和群上的承诺方程
2024-9-27
Compound Logics for Modification Problems
复合逻辑用于修改问题
2024-9-20
Hypothetical answers to continuous queries over data streams
数据流上连续查询的假设性答案
2024-8-17
A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
共同草甸方程理论的完整有限公理化
2024-8-17