首页 国际期刊 数学期刊 期刊详情(非官网)
400-808-1701

Journal Of Logical And Algebraic Methods In Programming

Journal Of Logical And Algebraic Methods In Programming杂志,由Elsevier BV出版,于2014年创刊,6 issues/year,出版语言English,ISSN:2352-2208,E-ISSN:2352-2216。

投稿咨询
Journal Of Logical And Algebraic Methods In Programming
Journal Of Logical And Algebraic Methods In Programming
Journal Of Logical And Algebraic Methods In Programming
SCI SCIE EI

杂志介绍

JCR分区
Q1
中科院分区
3区
影响因子
1
CiteScore
2.9
期刊收录
SCI、SCIE、EI

Journal Of Logical And Algebraic Methods In Programming(中文译名:《程序设计中的逻辑和代数方法杂志》),ISSN:2352-2208,EISSN:2352-2216,是Elsevier BV出版的国际性学术期刊,创刊于2014年,以6 issues/year形式稳定发行,2026年总发文量约24篇。该刊采用非OA开放访问,学科归属为COMPUTER SCIENCE, THEORY & METHODS - LOGIC。该刊是数学、计算机理论方法领域的国际权威刊物,已被SCI(科学引文索引)、SCIE(科学引文索引扩展版)、EI(工程索引)等国际主流学术数据库收录。2026年期刊影响因子达1,2025年期刊CiteScore为2.9,2025年期刊自引率约20%,在中科院期刊分区体系中位列数学大类3区,在所属学科领域具备高学术影响力与国际认可度。Journal Of Logical And Algebraic Methods In Programming长期聚焦数学、计算机理论方法及相关产业的技术应用前沿,在稿件录用评判中,该刊将创新性与前沿性作为核心遴选标准,重点收录能够对数学、计算机理论方法领域的落地与发展产生实质性推动价值的研究成果。

从全球发文格局来看,ItalyFrance、England、GERMANY (FED REP GER)、Spain、USA、Sweden等为核心发文国家与地区;CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)INRIA、UNIVERSITY OF BOLOGNA、UNIVERSITY OF PISA、UNIVERSITAT POLITECNICA DE VALENCIA、UNIVERSITY OF LONDON、UNIVERSITY OF OSLO等高校与科研机构是期刊的主要发文单位。

期刊评价

名词解释:

影响因子(Impact Factor, IF):指该期刊前两年发表的文章,在第三年的平均被引用次数。它反映了期刊的近期平均影响力和热度。

中科院分区:中科院分区表是国内主流的学术期刊分级评价工具,核心意义是建立跨学科可比的统一评价标尺,为职称评审、学位授予、科研立项等科研管理工作提供标准化量化依据,同时帮助科研人员筛选优质期刊、规避学术风险,适配国内本土化的科研评价需求。

期刊分区表

《新锐期刊分区表》(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区

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


中国学者近期发文

1
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

2
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


在线咨询

Journal Of Logical And Algebraic Methods In Programming

国际简称:J LOG ALGEBR METHODS参考译名:程序设计中的逻辑和代数方法杂志

年发文量:24 CiteScore:2.9 是否预警:否 Gold OA文章占比:46.02% 研究类文章占比:100.00%

杂志社联系方式:STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169

Journal Of Logical And Algebraic Methods In Programming