Journal Of Logical And Algebraic Methods In Programming

Journal Of Logical And Algebraic Methods In Programming

程序设计中的逻辑和代数方法杂志

  • 3区 中科院分区
  • Q1 JCR分区

期刊简介

《Journal Of Logical And Algebraic Methods In Programming》是由Elsevier BV出版社于2014年创办的英文国际期刊(ISSN: 2352-2208,E-ISSN: 2352-2216),该期刊长期致力于计算机:理论方法领域的创新研究,主要研究方向为COMPUTER SCIENCE, THEORY & METHODS-LOGIC。作为SCI、SCIE收录期刊(JCR分区 Q1,中科院 3区),本刊采用OA未开放获取模式(OA占比%),以发表计算机:理论方法领域等方向的原创性研究为核心(研究类文章占比100.00%%)。凭借严格的同行评审与高效编辑流程,期刊年载文量精选控制在24篇,确保学术质量与前沿性。成果覆盖Web of ScienceWeb of Science、Scopus等国际权威数据库,为学者提供推动数学领域高水平交流平台。

投稿咨询

投稿提示

Journal Of Logical And Algebraic Methods In Programming该刊近年未被列入国际预警名单,年发文量约24篇,录用竞争适中,主题需确保紧密契合数学前沿。投稿策略提示:避开学术会议旺季投稿以缩短周期,语言建议专业润色提升可读性。

  • 数学 大类学科
  • English 出版语言
  • 是否预警
  • SCI、SCIE 期刊收录
  • 24 发文量

中科院分区

《新锐期刊分区表》(2026年3月发布)

Top期刊 综述期刊 大类学科 小类学科
数学
3区
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学
3区 3区

期刊分区表(2025年3月升级版)

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

期刊分区表(2023年12月升级版)

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

期刊分区表(2022年12月升级版)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
3区
LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
2区 3区

期刊分区表(2021年12月升级版)

Top期刊 综述期刊 大类学科 小类学科
计算机科学
3区
LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
2区 3区

JCR分区

2025-2026年最新版

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 107 / 146

27.1

学科:LOGIC SCIE Q1 3 / 27

90.7

学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 38 / 147

74.49

学科:LOGIC SCIE Q2 8 / 27

72.22

2023-2024年最新版

按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143

27.6

学科:LOGIC SCIE Q1 4 / 25

86

学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 45 / 143

68.88

学科:LOGIC SCIE Q2 8 / 25

70

CiteScore(2026年6月最新版)

CiteScore SJR SNIP CiteScore 排名
CiteScore:2.9 SJR:0.307 SNIP:0.601
学科类别 分区 排名 百分位
大类:Mathematics 小类:Logic Q1 7 / 46

85%

大类:Mathematics 小类:Computational Theory and Mathematics Q2 94 / 203

53%

大类:Mathematics 小类:Theoretical Computer Science Q2 66 / 135

51%

大类:Mathematics 小类:Software Q3 290 / 503

42%

期刊发文

  • Formal reasoning about Bernstein-Vazirani algorith

    Author: Sun, Hongxia; Shi, Zhiping; Chen, Shanyan; Wang, Guohui; Li, Ximeng; Guan, Yong

    Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2026; Vol. 149, Issue , pp. -. DOI: 10.1016/j.jlamp.2025.101108

  • First order Büchi automata and their application to verification of LTL specification

    Author: Zhang, Wenhui

    Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2025; Vol. 142, Issue , pp. -. DOI: 10.1016/j.jlamp.2024.101021