Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Topics of Logical Methods in Computer Science:

Algebraic methods

Automata and logic

Automated deduction

Categorical models and logic

Coalgebraic methods

Computability and Logic

Computer-aided verification

Concurrency theory

Constraint programming

Cyber-physical systems

Database theory

Defeasible reasoning

Domain theory

Emerging topics: Computational systems in biology

Emerging topics: Quantum computation and logic

Finite model theory

Formalized mathematics

Functional programming and lambda calculus

Inductive logic and learning

Interactive proof checking

Logic and algorithms

Logic and complexity

Logic and games

Logic and probability

Logic for knowledge representation

Logic programming

Logics of programs

Modal and temporal logics

Program analysis and type checking

Program development and specification

Proof complexity

Real time and hybrid systems

Reasoning about actions and planning

Satisfiability

Security

Semantics of programming languages

Term rewriting and equational logic

Type theory and constructive mathematics.

《计算机科学中的逻辑方法》是一本经过全面评审的免费电子期刊，可免费访问。它欢迎发表涉及广义逻辑方法的计算机科学理论和实践领域的论文；其范围内的一些特定领域如下所列。论文以传统方式评审，每篇论文由两名或多名评审员评审。版权归作者所有。

计算机科学中的逻辑方法主题：

代数方法

自动机和逻辑

自动推理

分类模型和逻辑

共代数方法

可计算性和逻辑

计算机辅助验证

并发理论

约束编程

信息物理系统

数据库理论

可废止推理

领域理论

新兴主题：生物学中的计算系统

新兴主题：量子计算和逻辑

有限模型理论

形式化数学

函数式编程和 lambda 演算

归纳逻辑和学习

交互式证明检查

逻辑和算法

逻辑和复杂性

逻辑和游戏

逻辑和概率

知识表示逻辑

逻辑编程

程序逻辑

模态和时间逻辑

程序分析和类型检查

程序开发和规范

证明复杂性

实时和混合系统

关于动作和计划的推理

可满足性

安全性

编程语言的语义

术语重写和方程逻辑

类型理论和建设性数学。

该刊已被国际权威数据库SCIE收录，该刊致力于发表经过严格同行评审的高质量原创文章，反映工程技术-计算机：理论方法领域的新进展、新技术、新成果，促进该领域科研交流和科研成果转化。该刊2023年影响因子为0.6，平均审稿速度为 较慢,6-12周 ，近四年来没有被列入预警名单。如果您需要投稿发表服务及指导，可以联系我们的客服老师，我们专业专注服务期刊投稿协助10年，为您提供期刊投稿个性化定制服务，并且我们确保严格保密您的个人信息及稿件内容。