首页 > SCI期刊 > 数学 > 中科院4区 > JCRQ1 > 期刊介绍
Journal Of Logical And Algebraic Methods In Programming

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

Journal Of Logical And Algebraic Methods In Programming

审稿时间

4区中科院分区

Q1JCR分区

0.7影响因子

2352-2208

2352-2216

J LOG ALGEBR METHODS

UNITED STATES

COMPUTER SCIENCE, THEORY & METHODS - LOGIC

2014

9

6 issues/year

English

44

0.22...

投稿咨询 加急服务

期刊简介

程序设计中的逻辑和代数方法杂志(Journal Of Logical And Algebraic Methods In Programming)是一本由Elsevier BV出版的一本COMPUTER SCIENCE, THEORY & METHODS-LOGIC学术刊物,主要报道COMPUTER SCIENCE, THEORY & METHODS-LOGIC相关领域研究成果与实践。本刊已入选来源期刊,该刊创刊于2014年,出版周期6 issues/year。2021-2022年最新版WOS分区等级:Q1,2023年发布的影响因子为0.7,CiteScore指数2.6,SJR指数0.577。本刊非开放获取期刊。

《编程中的逻辑和代数方法杂志》是一本国际期刊,旨在发表高质量的原创研究论文、调查和评论文章、教程阐述和历史研究,涉及逻辑和代数方法和技术领域,以保证程序和一般计算系统的正确性和可执行性。将涵盖所有方面,尤其是理论和基础、实施问题以及涉及新想法的应用。

中科院分区信息

程序设计中的逻辑和代数方法杂志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区
程序设计中的逻辑和代数方法杂志2021年12月基础版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 4区 3区
程序设计中的逻辑和代数方法杂志2021年12月升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区
程序设计中的逻辑和代数方法杂志2020年12月旧的升级版
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区
名词解释:

中科院JCR期刊分区(又称分区表、分区数据)是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果。在中科院期刊分区表中,主要参考3年平均IF作为学术影响力,最终每个分区的期刊累积学术影响力是相同的,各区的期刊数量由高到底呈金字塔式分布。

JCR分区信息

Journal Of Logical And Algebraic Methods In Programming(2023-2024年最新版数据)
按JIF指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143
27.6%
学科:LOGIC SCIE Q1 4 / 25
86%
按JCI指标学科分区 收录子集 分区 排名 百分位
学科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 45 / 143
68.88%
学科:LOGIC SCIE Q2 8 / 25
70%
名词解释:

汤森路透每年出版一本《期刊引用报告》(Journal Citation Reports,简称JCR)。JCR对86000多种SCI期刊的影响因子(Impact Factor)等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中,主要参考当年IF,最终每个分区的期刊数量是均分的。

期刊数据统计

1、Cite Score(2024年最新版)
学科类别 分区 排名 百分位
大类:Mathematics 小类:Logic Q1 9 / 41
79%
大类:Mathematics 小类:Computational Theory and Mathematics Q3 91 / 176
48%
大类:Mathematics 小类:Theoretical Computer Science Q3 70 / 130
46%
大类:Mathematics 小类:Software Q3 276 / 407
32%
名词解释:

CiteScore:该指标由Elsevier于2016年提出,指期刊发表的单篇文章平均被引用次数。CiteScorer的计算方式是:例如,某期刊2022年CiteScore的计算方法是该期刊在2019年、2020年和2021年发表的文章在2022年获得的被引次数,除以该期刊2019年、2020年和2021发表并收录于Scopus中的文章数量总和。

2、综合数据
3、本刊综合数据对比及走势

文章引用数据

文章名称 引用次数
  • Metalevel algorithms for variant satisfi...

    4
  • From distributed coordination to field c...

    4
  • On the essence and initiality of conflic...

    3
  • From probability monads to commutative e...

    3
  • Multilevel coupled model transformations...

    3
  • Model checking and synthesis for branchi...

    2
  • A logic-algebraic tool for reasoning wit...

    2
  • Verification of finite-state machines: A...

    2
  • Sequential pattern mining for ICT risk a...

    2
  • Axiomatising infinitary probabilistic we...

    2

期刊被引用数据

期刊名称 引用次数
  • J LOG ALGEBR METHODS

    47
  • SCI COMPUT PROGRAM

    7
  • LOG METH COMPUT SCI

    6
  • IEEE ACCESS

    5
  • INT J SOFTW TOOLS TE

    5
  • ACTA INFORM

    4
  • FORM ASP COMPUT

    4
  • MATH STRUCT COMP SCI

    3
  • THEOR COMPUT SCI

    3
  • ACM T PRIV SECUR

    2

期刊引用数据

期刊名称 引用次数
  • THEOR COMPUT SCI

    108
  • J LOG ALGEBR METHODS

    47
  • INFORM COMPUT

    46
  • ACM T PROGR LANG SYS

    30
  • FUND INFORM

    29
  • COMMUN ACM

    28
  • J ACM

    28
  • SCI COMPUT PROGRAM

    28
  • LOG METH COMPUT SCI

    25
  • ACTA INFORM

    23

国家/地区发文数据

国家/地区名 数量
  • Italy

    35
  • France

    27
  • England

    24
  • GERMANY (FED REP GER)

    23
  • Spain

    21
  • USA

    19
  • Sweden

    16
  • Norway

    13
  • Denmark

    12
  • Netherlands

    12

机构发文数据

机构名 数量
  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIF...

    16
  • INRIA

    13
  • UNIVERSITY OF BOLOGNA

    9
  • UNIVERSITY OF PISA

    9
  • UNIVERSITAT POLITECNICA DE VALENCIA

    8
  • UNIVERSITY OF LONDON

    8
  • UNIVERSITY OF OSLO

    8
  • COMPLUTENSE UNIVERSITY OF MADRID

    7
  • CHALMERS UNIVERSITY OF TECHNOLOGY

    5
  • ROYAL INSTITUTE OF TECHNOLOGY

    5

相关期刊

SCI期刊导航

免责声明

若用户需要出版服务,请联系出版商:STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。