Journal Of Logical And Algebraic Methods In Programming

Journal Of Logical And Algebraic Methods In Programming SCIE

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

中科院分区:4区 JCR分区:Q1 预计审稿周期:

《Journal Of Logical And Algebraic Methods In Programming》是一本由Elsevier BV出版商出版的数学国际刊物,国际简称为J LOG ALGEBR METHODS,中文名称程序设计中的逻辑和代数方法杂志。该刊创刊于2014年,出版周期为6 issues/year。 《Journal Of Logical And Algebraic Methods In Programming》2023年影响因子为0.7,被收录于国际知名权威数据库SCIE。

ISSN:2352-2208
研究方向:COMPUTER SCIENCE, THEORY & METHODS-LOGIC
是否预警:否
E-ISSN:2352-2216
出版地区:UNITED STATES
Gold OA文章占比:41.51%
语言:English
是否OA:未开放
OA被引用占比:0.0263...
出版商:Elsevier BV
出版周期:6 issues/year
影响因子:0.7
创刊时间:2014
年发文量:44
杂志简介 中科院分区 JCR分区 CiteScore 发文统计 通讯方式 相关杂志 期刊导航

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

《Journal Of Logical And Algebraic Methods In Programming》重点专注发布COMPUTER SCIENCE, THEORY & METHODS-LOGIC领域的新研究,旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今,在COMPUTER SCIENCE, THEORY & METHODS-LOGIC领域,有较高影响力,对来稿文章质量要求较高,稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。

Journal Of Logical And Algebraic Methods In Programming 杂志中科院分区

中科院SCI分区数据
中科院SCI期刊分区(2023年12月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
数学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 4区 4区
中科院SCI期刊分区(2022年12月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区
中科院SCI期刊分区(2021年12月旧的升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区
中科院SCI期刊分区(2021年12月基础版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 4区 3区
中科院SCI期刊分区(2021年12月升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区
中科院SCI期刊分区(2020年12月旧的升级版)
大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 2区 3区
中科院分区趋势图
影响因子趋势图

中科院JCR分区:中科院JCR期刊分区(又称分区表、分区数据)是中国科学院文献情报中心世界科学前沿分析中心的科学研究成果,是衡量学术期刊影响力的一个重要指标,一般而言,发表在1区和2区的SCI论文,通常被认为是该学科领域的比较重要的成果。

影响因子:是汤森路透(Thomson Reuters)出品的期刊引证报告(Journal Citation Reports,JCR)中的一项数据,现已成为国际上通用的期刊评价指标,不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

Journal Of Logical And Algebraic Methods In Programming 杂志JCR分区

Web of Science 数据库(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 Of Logical And Algebraic Methods In Programming CiteScore 评价数据(2024年最新版)

  • CiteScore:2.6
  • SJR:0.577
  • SNIP:1.034

CiteScore 排名

学科类别 分区 排名 百分位
大类: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趋势图
年发文量趋势图

CiteScore:是由Elsevier2016年发布的一个评价学术期刊质量的指标,该指标是指期刊发表的单篇文章平均被引用次数。CiteScore和影响因子的作用是一样的,都是可以体现期刊质量的重要指标,给选刊的作者了解期刊水平提供帮助。

Journal Of Logical And Algebraic Methods In Programming 杂志发文统计

文章名称引用次数

  • Metalevel algorithms for variant satisfiability4
  • From distributed coordination to field calculus and aggregate computing4
  • On the essence and initiality of conflicts in M-adhesive transformation systems3
  • From probability monads to commutative effectuses3
  • Multilevel coupled model transformations for precise and reusable definition of model behaviour3
  • Model checking and synthesis for branching multi-weighted logics2
  • A logic-algebraic tool for reasoning with Knowledge-Based Systems2
  • Verification of finite-state machines: A distributed approach2
  • Sequential pattern mining for ICT risk assessment and management2
  • Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours2

国家/地区发文量

  • Italy35
  • France27
  • England24
  • GERMANY (FED REP GER)23
  • Spain21
  • USA19
  • Sweden16
  • Norway13
  • Denmark12
  • Netherlands12

机构发文发文量

  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)16
  • INRIA13
  • UNIVERSITY OF BOLOGNA9
  • UNIVERSITY OF PISA9
  • UNIVERSITAT POLITECNICA DE VALENCIA8
  • UNIVERSITY OF LONDON8
  • UNIVERSITY OF OSLO8
  • COMPLUTENSE UNIVERSITY OF MADRID7
  • CHALMERS UNIVERSITY OF TECHNOLOGY5
  • ROYAL INSTITUTE OF TECHNOLOGY5

Journal Of Logical And Algebraic Methods In Programming 杂志社通讯方式

《Journal Of Logical And Algebraic Methods In Programming》杂志通讯方式为:STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。详细征稿细则请查阅杂志社征稿要求。本站可提供SCI投稿辅导服务,SCI检索,确保稿件信息安全保密,合乎学术规范,详情请咨询客服。

SCI期刊分类导航

免责声明

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