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.
《Logical Methods In Computer Science》是一本由Technischen Universitat Braunschweig出版商出版的专业数学期刊，该刊创刊于2005年，刊期Irregular，该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：数学4区，小类学科：计算机：理论方法 4区；逻辑学 4区；在JCR（Journal Citation Reports）分区等级为Q2。该刊发文范围涵盖COMPUTER SCIENCE, THEORY & METHODS等领域，旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, THEORY & METHODS工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等，促进学术交流，鼓励学术创新。2023年影响因子为0.6，平均审稿速度 较慢,6-12周 。
中科院分区（当前数据版本：2023年12月升级版）
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
中科院分区（当前数据版本：2022年12月升级版）
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
中科院分区（当前数据版本：2021年12月旧的升级版）
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
中科院分区（当前数据版本：2021年12月基础版）
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
中科院分区（当前数据版本：2021年12月升级版）
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
中科院分区（当前数据版本：2020年12月旧的升级版）
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
名词释义：中科院分区是中国科学院国家科学图书馆制定，中科院分区目前分为基础版和升级版（试行），基础版先将JCR中所有期刊分为13大类学科，每个学科分类按照期刊的3年平均影响因子高低，分为4四个区；升级版将期刊分为18个大类学科，涵盖数学、物理与天体物理、化学、材料科学、地球科学等大类学科；升级版设计了“期刊超越指数”取代影响因子指标。期刊超越指数即本刊论文的被引频次高于相同主题、相同文献类型的其它期刊的概率。
JCR分区（当前数据版本：2023-2024年最新版）
| 按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% |
名词释义：JCR（Journal Citation Reports）由科睿唯安公司（前身为汤森路透）开发，JCR分区将期刊分为176个学科。该排名根据当年不同学科的影响因子，分为Q1、Q2、Q3、Q4四个区域。 Q1代表不同学科进行分类可以影响细胞因子前25％的期刊，以此作为类推，Q2是前25％-50％的期刊，Q3是前50％-75％的期刊，Q4是后期75％的期刊。
Cite Score 排名
| CiteScore | SJR | SNIP | 学科类别 | 分区 | 排名 | 百分位 |
| 1.8 | 0.573 | 0.931 | 大类：Computer Science 小类：General Computer Science | Q3 | 152 / 232 |
34% |
| 大类：Computer Science 小类：Theoretical Computer Science | Q4 | 100 / 130 |
23% |
名词释义：CiteScore 是在 Scopus 中衡量期刊影响力的另一个指标，其作用是测量期刊的篇均影响力。当年CiteScore 的计算依据是期刊最近4年 （含计算年度） 的被引次数除以该期刊近四年发表的文献数，文献类型包括：文章、评论、会议论文、书籍章节和数据论文，社论勘误表、信件、说明和简短调查等非同行评议的文献类型均不包含在内。
1、Logical Methods In Computer Science期刊级别中等偏靠后，影响力一般，竞争相对来说不算太难，过审也相对较容易，建议您可以关注。研究方向为工程技术 - 计算机：理论方法，建议您投递与此行业相关的稿件，以兔被拒稿耽误您的时间。建议稿件控制10页以上，4600单词字数以上（未翻译中文字数8600字数以上）；文章撰写语言为英语；（单栏格式，单倍行距，内容10号字体，文章内容包含：题目，所有作者姓名、最高学位，作者单位（精确到部门），通信作者邮箱，摘要，关键词，内容，总结，项目基金，参考文献，所有作者相片+简介）。
2、该期刊近年没有被列入国际期刊预警名单（2021年12月发布的2021版），广大学者可以放心选择。鼓励提交以前未发表的文章，禁止一稿多投；拒绝抄袭、机械性的稿件；平均审稿速度 较慢,6-12周 。
3、稿件重复率控制10%以内，论文务必保证原创性、图标、公式、引文等要素齐备，已发表或引用过度的文章将不会被出版和检索。
4、稿件必须有较好的英语表达水平，有图，有表，有公式，有数据或设计，有算法（方案，模型），实验，仿真等。
5、参考文献控制25条以上，参考文献引用一半以上控制在近5年以内；图表分辨率必须达到300dpi；参考文献与文献综述能反映国际研究前沿。
6、若您想联系Logical Methods In Computer Science出版商，请根据该地址联系：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。
7、如果你想快速在SCI期刊发表，可以咨询本站的客服老师，我们将为你提供SCI期刊全过程管理服务，不成功不收取任何费用。
| 影响因子 | h-index | Gold OA文章占比 | 研究类文章占比 | OA开放访问 | 平均审稿速度 |
| 0.6 | 31 | 78.21% | 100.00% | 开放 | 较慢,6-12周 |
IF值(影响因子)趋势图
中科院JCR分区趋势图
引文指标和发文量趋势图
自引数据趋势图
名词释义：影响因子 简称IF，是汤森路透（Thomson Reuters）出品的期刊引证报告（Journal Citation Reports，JCR）中的一项数据。 即某期刊前两年发表的论文在该报告年份（JCR year）中被引用总次数除以该期刊在这两年内发表的论文总数。这是一个国际上通行的期刊评价指标，是衡量学术期刊影响力的一个重要指标。
| 中科院同小类学科热门期刊 | 影响因子 | 中科院分区 | 浏览次数 |
| Stochastics And Partial Differential Equations-analysis And Computations | 1.4 | 3区 | 3888 |
| Journal Of Mathematics | 1.3 | 4区 | 1688 |
| Mathematics | 2.3 | 3区 | 1585 |
| Journal Of Complex Networks | 2.2 | 4区 | 1456 |
| Communications In Statistics-simulation And Computation | 0.8 | 4区 | 1065 |
| Electronic Journal Of Differential Equations | 0.8 | 4区 | 906 |
| Applied Mathematics Letters | 2.9 | 2区 | 893 |
| Applied Mathematics And Computation | 3.5 | 2区 | 811 |
| Aims Mathematics | 1.8 | 3区 | 712 |
| Mathematics And Computers In Simulation | 4.4 | 2区 | 620 |
若用户需要出版服务，请联系出版商：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。
购物车(0)