Journal Title：Logical Methods In Computer Science

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 演算

归纳逻辑和学习

交互式证明检查

逻辑和算法

逻辑和复杂性

逻辑和游戏

逻辑和概率

知识表示的逻辑

逻辑编程

程序逻辑

模态和时间逻辑

程序分析和类型检查

程序开发和规范

证明复杂性

实时和混合系统

推理行动和计划

可满足性

安全

编程语言的语义

术语重写和等式逻辑

类型理论和建设性数学。

Logical Methods In Computer Science创刊于2005年，由LOGICAL METHODS COMPUTER SCIENCE E V出版商出版，收稿方向涵盖工程技术 - 计算机：理论方法全领域，此期刊水平偏中等偏靠后，在所属细分领域中专业影响力一般，过审相对较易，如果您文章质量佳，选择此期刊，发表机率较高。平均审稿速度较慢,6-12周，影响因子指数0.600，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。

大类学科	小类学科	分区	Top期刊	综述期刊
计算机科学	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	4区	是	是

名词解释：
中科院分区也叫中科院JCR分区，基础版分为13个大类学科，然后按照各类期刊影响因子分别将每个类别分为四个区， 影响因子5%为1区，6%-20%为2区，21%-50%为3区，其余为4区。

大类学科	小类学科	分区
计算机科学	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	4区

名词解释：
JCR没有设置大类，只分为176个具体学科，按当期（1年）的影响因子进行分区；JCR是按照“平均主义”思想， 根据刊物IF的高至低平均划分4个区，每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构，1区只有5%的顶级期刊， 2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少，杂志质量相对也高，基本都是本领域的顶级期刊。

期刊名称	领域	中科院分区	影响因子
International Journal Of Wavelets Multiresolution And Information Processing	计算机科学	4区	1.400
Archives Of Control Sciences	计算机科学	4区	1.200
International Journal Of Unconventional Computing	计算机科学	4区	1.700
Ieee Pervasive Computing	计算机科学	4区	1.600
Rairo-theoretical Informatics And Applications	计算机科学	4区	0.600
Ieee Consumer Electronics Magazine	计算机科学	4区	4.500