57期刊
搜索

期刊导航 杂志订阅 SCI期刊 SCI发表 期刊服务 文秘服务 出版社 关于我们 登录/注册 购物车(0)

首页 > SCI期刊> 程序设计中的逻辑和代数方法杂志

Journal Of Logical And Algebraic Methods In Programming

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

Journal Of Logical And Algebraic Methods In Programming

6-12周审稿时间

4区中科院分区

Q1JCR分区

1.09影响因子

2352-2208

2352-2216

J LOG ALGEBR METHODS

UNITED STATES

COMPUTER SCIENCE, THEORY & METHODS - LOGIC

否

2014

9

6 issues/year

English

40

投稿咨询 加急服务

期刊简介

程序设计中的逻辑和代数方法杂志(Journal Of Logical And Algebraic Methods In Programming)是一本由ELSEVIER SCIENCE INC出版的一本COMPUTER SCIENCE, THEORY & METHODS-LOGIC学术刊物，主要报道COMPUTER SCIENCE, THEORY & METHODS-LOGIC相关领域研究成果与实践。本刊已入选科学引文索引（SCI）、来源期刊，该刊创刊于2014年，出版周期6 issues/year。在2021年12月最新升级版中大类学科分区：计算机科学 ，2021-2022年最新版WOS分区等级：Q1，2021年的影响因子为1.088，CiteScore指数3.00，SJR指数0.615。本刊非开放获取期刊。

The Journal of Logical and Algebraic Methods in Programming 是一本国际期刊，其目的是发表关于逻辑和代数方法和技术领域的高质量原创研究论文、调查和评论文章、教程说明以及历史研究。保证程序和一般计算系统的正确性和可执行性。将涵盖所有方面，尤其是理论和基础、实施问题以及涉及新颖思想的应用。

中科院分区信息

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

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

期刊数据统计

1、Cite Score
学科类别 分区 排名 百分位
大类：Mathematics 小类：Logic Q1 7 / 41
84%
大类：Mathematics 小类：Computational Theory and Mathematics Q2 60 / 147
59%
大类：Mathematics 小类：Theoretical Computer Science Q2 55 / 123
55%
大类：Mathematics 小类：Software Q3 232 / 398
41%
名词解释：

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

相关期刊

上一本  Scipost Physics
下一本  Neurosurgical Review

SCI期刊导航

大类学科：

医学 工程技术 生物 农林科学 环境科学与生态学 化学 数学 地学 综合性期刊 物理 社会科学 管理科学 地学天文

影响因子：

0-1 1-2 2-3 3-4 4-5 5-6 6-7 7-8 9以上

中科院分区：

1区 2区 3区 4区

JCR分区：

Q1 Q2 Q3 Q4

免责声明

本站合法持有《出版物经营许可证》，主要从事期刊零售和咨询服务，不是任何杂志官网，不涉及任何出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。本站提供的期刊信息均来源于国家新闻出版总署及网络，仅供参考，提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关。若用户需要出版服务，请联系出版商。

飞雁卡 新好卡
春晓卡 宽带卡
57期刊

（微信）15689037256

(客服工作时间：8:00-24:00)

点击在线咨询

公司介绍

获得荣誉

版权问题

许可证件

期刊服务

服务流程

服务特色

保障条款

常见问题

文秘服务

服务介绍

服务流程

常见问题

杂志订阅

会员中心

订阅流程

发货时间

配送范围

常见问题

本站合法持有《出版物经营许可证》，主要从事期刊零售和咨询服务，不是任何杂志官网，不涉及任何出版事务。本站仅提供有限咨询服务，需要用户自己向出版商投稿且没有绿色通道，是否录用一切以出版商通知为准。本站提供的期刊信息均来源于国家新闻出版总署及网络，仅供参考，提及的第三方名称或商标，其知识产权均属于相应的出版商或期刊，本站与上述机构无从属关系，所有引用均出于解释服务内容的考量，符合商标法规范。本页信息均由法务团队进行把关。若用户需要出版服务，请联系出版商。
工信部备案：鲁ICP备17016571号

客服在线，微信扫码咨询