欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

Journal Of Logical And Algebraic Methods In Programming期刊
人气 895
加入收藏

Journal Of Logical And Algebraic Methods In Programming

SCIE

《Journal Of Logical And Algebraic Methods In Programming》创刊于2014年，是一本数学国际学术期刊，出版语言为English，年发文量44。近三年曾被列入预警期刊名单。

中科院 4区
JCR Q1
Citescore 2.6
TOP期刊 否
ISSN: 2352-2208
出版地区: UNITED STATES
E-ISSN: 2352-2216
出版周期: 6 issues/year
出版商: Elsevier BV
创刊时间: 2014年
国际简称: J LOG ALGEBR METHODS
出版语言: English
研究方向: COMPUTER SCIENCE, THEORY & METHODS-LOGIC
中文名称: 程序设计中的逻辑和代数方法杂志

Journal Of Logical And Algebraic Methods In Programming杂志简介

《Journal Of Logical And Algebraic Methods In Programming》由Elsevier BV出版社出版，是计算机：理论方法领域的国际权威期刊。自2014年创刊以来，该刊始终致力于发表数学领域的原创性、前瞻性研究成果，尤其关注数学领域的理论、政策与实践。该刊被SCIE数据库收录，在JCR学科，按JIF指标学科分区学科“COMPUTER SCIENCE, THEORY & METHODS”中位于Q3区；“LOGIC”中位于Q1区；按JCI指标学科分区学科“COMPUTER SCIENCE, THEORY & METHODS”中位于Q2区；“LOGIC”中位于Q2区；中国科学院期刊分区为大类数学4区，小类计算机：理论方法4区。此外，在CiteScore学科分类中，该刊在“Logic”小类中位列Q1区，排名9 / 41，显示出在计算机：理论方法领域的突出影响力。

作为一本非开放获取期刊，《Journal Of Logical And Algebraic Methods In Programming》2023年发文量在44篇，研究类论文占比为100.00%。期刊最新影响因子为0.7 ，CiteScore为2.6，学术影响力持续稳健。该刊面向全球研究者，为探讨计算机：理论方法领域提供了高水平的学术交流平台。

WOS期刊JCR分区（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%

CiteScore（2025年最新版）

CiteScore数据趋势图

  • CiteScore：2.6
  • SJR：0.577
  • SNIP：1.034
学科 分区 排名 百分位
大类：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%

Journal Of Logical And Algebraic Methods In Programming中国科学院期刊分区

中国科学院期刊分区趋势图

中国科学院期刊分区 （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区
否 否

Journal Of Logical And Algebraic Methods In Programming高引用文章

  • Metalevel algorithms for variant satisfiability

    引用次数：4

  • From distributed coordination to field calculus and aggregate computing

    引用次数：4

  • On the essence and initiality of conflicts in M-adhesive transformation systems

    引用次数：3

  • From probability monads to commutative effectuses

    引用次数：3

  • Multilevel coupled model transformations for precise and reusable definition of model behaviour

    引用次数：3

  • Model checking and synthesis for branching multi-weighted logics

    引用次数：2

  • A logic-algebraic tool for reasoning with Knowledge-Based Systems

    引用次数：2

  • Verification of finite-state machines: A distributed approach

    引用次数：2

  • Sequential pattern mining for ICT risk assessment and management

    引用次数：2

  • Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours

    引用次数：2

Journal Of Logical And Algebraic Methods In Programming学术指标

年份 影响因子 年发文量 引文指标 自引率 CiteScore
2023 0.7 - 44 - 0.78 - 28.6 - 2.6 -
2022 0.9 - 46 - 0.88 - 22.2 - 3 -
2021 1.088 - 64 - 0.85 - 19.8 - 3 -
2020 0.581 - 40 - 0.81 - 23.6 - 2.9 -
2019 0.685 - 62 - 0.9 - 34.3 - 2.4 -
2018 0.632 - 55 - 0.94 - 5.7 - 2.9 -

国家/地区发文量

国家/地区 发文量
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 SCIENTIFIQUE (CNRS) 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
欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛
五月天淫淫网| 无码AV一区二区| 亚洲成人AV专区| 国产91一级精品| 国产手机在线视频91| 9 1看片亚| 日韩A片电影网站| 99热热热| 美女69AV| 免费看aa级毛片| av播放地址| 成人av一级| 91精品手机国产综合网| 中文字幕7页婷婷| 免费A片视频| 黄在线观看| 黄色AV小| 亚洲瑟在线| 77A片| 性Av网| 极品成人AV| 手机成人AV在线| 成人性爱片| 激情小说天堂网| 亚洲成av人无码| 亚瑟成人视频| A级成人毛片| 无码免费毛片| 岛国激情一区妻| 不卡的高清Av| 日韩A片色情网站| 97视频久久| 青青操av一区二区| 黄色中文字幕在线视频| 91黄视频| 国产a免费| 亚州成av| 超碰色av| 亚洲天堂色图| 久久伊人在线大香蕉| 噜噜成人视频|