ACM Transactions on Computational Logic

TOCL 欢迎 提交 有关 逻辑 的 所有 方面 ， 因为 它 涉及 到 计算机 科学 的 主题 。这个 领域 在 计算机 科学 中 有 着 很 大 的 传统 。几 位 获得 ACM 图灵 奖 的 研究 人员 也 在 这个 领域 做出 了 贡献 ， 他们 是 Edgar Codd （ 关系 数据 库 系统 ） 、 Stephen Cook （ 逻辑 理论 的 复杂 性 ） 、 Edsger W .戴 克 斯特拉 〈 美 〉 来华 传教 士 。放大 图片 作者 ： Robert L .克拉克爱默生 和 约瑟夫 · 西 法 基斯（ 程序 逻辑 、 程序 推导 和 验证 、 编程 语言 语义 学 ） ， Robin Milner（ 交互 式 定理 证明 、 并发 演算 和 函数 式 编程 ） 和 John McCarthy（ 人工 智能 中 的 函数 式 编程 和 逻辑 ） 。 逻辑 继续 在 计算机 科学 中 发挥 重要 作用 ， 并 已 渗透 到 它 的 几 个 领域 ， 包括 人工 智能 ， 计算 复杂 性 ， 数据 库 系统 ，和 程序 设计 语言 。 该 杂志 的 编辑 委员 会 寻求 并 希望 吸引 在 所有 上述 领域 的 计算 逻辑 高 质量 的 投稿 ， 使 TOCL 成为 该 领域 的 标准 参考 。 理论 和 应用 论文 都 在 寻求 。特别 欢迎 展示 逻辑 在 计算机 科学 中 的 新颖 应用 的 投稿 。