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年，由Technischen Universitat Braunschweig出版商出版，收稿方向涵盖工程技术 - 计算机：理论方法全领域，此期刊水平偏中等偏靠后，在所属细分领域中专业影响力一般，过审相对较易，如果您文章质量佳，选择此期刊，发表机率较高。平均审稿速度 较慢,6-12周 ，影响因子指数0.6，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
名词解释：
中科院分区也叫中科院JCR分区，基础版分为13个大类学科，然后按照各类期刊影响因子分别将每个类别分为四个区，影响因子5%为1区，6%-20%为2区，21%-50%为3区，其余为4区。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 117 / 143 |
18.5% |
| 学科：LOGIC | SCIE | Q2 | 10 / 25 |
62% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 69 / 143 |
52.1% |
| 学科：LOGIC | SCIE | Q4 | 19 / 25 |
26% |
名词解释：
WOS即Web of Science，是全球获取学术信息的重要数据库，Web of Science包括自然科学、社会科学、艺术与人文领域的信息，来自全世界近9,000种最负盛名的高影响力研究期刊及12,000多种学术会议多学科内容。给期刊分区时会按照某一个学科领域划分，根据这一学科所有按照影响因子数值降序排名，然后平均分成4等份，期刊影响因子值高的就会在高分区中，最后的划分结果分别是Q1，Q2，Q3，Q4，Q1代表质量最高。
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||
| 1.8 | 0.573 | 0.931 |
|
名词解释：
CiteScore：衡量期刊所发表文献的平均受引用次数。
SJR:SCImago 期刊等级衡量经过加权后的期刊受引用次数。引用次数的加权值由施引期刊的学科领域和声望 (SJR) 决定。
SNIP:每篇文章中来源出版物的标准化影响将实际受引用情况对照期刊所属学科领域中预期的受引用情况进行衡量。
| 是否OA开放访问： | h-index： | 年文章数： |
| 开放 | 31 | 82 |
| Gold OA文章占比： | 2021-2022最新影响因子（数据来源于搜索引擎）: | 开源占比（OA被引用占比）： |
| 78.21% | 0.6 | 0.52... |
| 研究类文章占比：文章 ÷（文章 + 综述） | 期刊收录： | 中科院《国际期刊预警名单（试行）》名单： |
| 100.00% | SCIE | 否 |
历年IF值(影响因子)：
历年引文指标和发文量：
历年中科院JCR大类分区数据：
历年自引数据：
近年引用统计：
| 期刊名称 | 数量 |
| THEOR COMPUT SCI | 192 |
| LOG METH COMPUT SCI | 103 |
| INFORM COMPUT | 95 |
| ANN PURE APPL LOGIC | 63 |
| J ACM | 63 |
| MATH STRUCT COMP SCI | 58 |
| J COMPUT SYST SCI | 43 |
| ACM T COMPUT LOG | 39 |
| J SYMBOLIC LOGIC | 39 |
| J LOGIC COMPUT | 36 |
近年被引用统计：
| 期刊名称 | 数量 |
| LOG METH COMPUT SCI | 103 |
| J LOG ALGEBR METHODS | 25 |
| FUND INFORM | 18 |
| INFORM COMPUT | 18 |
| MATH STRUCT COMP SCI | 18 |
| ACM T COMPUT LOG | 15 |
| J AUTOM REASONING | 15 |
| THEOR COMPUT SCI | 13 |
| J COMPUT SYST SCI | 11 |
| J FUNCT PROGRAM | 11 |
近年文章引用统计：
| 文章名称 | 数量 |
| SHRUB-DEPTH: CAPTURING HEIGHT OF... | 9 |
| SIZE, COST, AND CAPACITY: A SEMA... | 5 |
| A DICHOTOMY FOR FIRST-ORDER REDU... | 3 |
| COINDUCTIVE FOUNDATIONS OF INFIN... | 3 |
| ON THE ALGEBRAIC STRUCTURE OF WE... | 3 |
| SOS-BASED MODAL DECOMPOSITION ON... | 2 |
| NASH EQUILIBRIUM AND BISIMULATIO... | 2 |
| REWRITABILITY IN MONADIC DISJUNC... | 2 |
| DYNAMIC CAUSALITY IN EVENT STRUC... | 2 |
| COAXIOMS: FLEXIBLE COINDUCTIVE D... | 2 |
| 同小类学科的其他优质期刊 | 影响因子 | 中科院分区 |
| Differential And Integral Equations | 1.8 | 4区 |
| Algebra And Logic | 0.4 | 3区 |
| Mathematics | 2.3 | 3区 |
| Aims Mathematics | 1.8 | 3区 |
| Mathematical Notes | 0.6 | 4区 |
| Journal Of The Royal Statistical Society Series C-applied Statistics | 1 | 4区 |
| Theory And Practice Of Logic Programming | 1.4 | 2区 |
| Communications On Pure And Applied Mathematics | 3.1 | 1区 |
| Fractal And Fractional | 3.6 | 2区 |
| Applied Mathematics And Computation | 3.5 | 2区 |
若用户需要出版服务，请联系出版商：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。
