首页 > SCI期刊 > SCIE期刊 > 数学 > 中科院4区 > JCRQ1 > 期刊介绍
评价信息：
影响因子：0.7
年发文量：44
《程序设计中的逻辑和代数方法杂志》(Journal Of Logical And Algebraic Methods In Programming)是一本以COMPUTER SCIENCE, THEORY & METHODS-LOGIC综合研究为特色的国际期刊。该刊由Elsevier BV出版商创刊于2014年，刊期6 issues/year。该刊已被国际重要权威数据库SCIE收录。期刊聚焦COMPUTER SCIENCE, THEORY & METHODS-LOGIC领域的重点研究和前沿进展，及时刊载和报道该领域的研究成果，致力于成为该领域同行进行快速学术交流的信息窗口与平台。该刊2023年影响因子为0.7。CiteScore指数值为2.6。
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.
《编程中的逻辑和代数方法杂志》是一本国际期刊，旨在发表高质量的原创研究论文、调查和评论文章、教程阐述和历史研究，涉及逻辑和代数方法和技术领域，以保证程序和一般计算系统的正确性和可执行性。将涵盖所有方面，尤其是理论和基础、实施问题以及涉及新想法的应用。
《Journal Of Logical And Algebraic Methods In Programming》(程序设计中的逻辑和代数方法杂志)编辑部通讯方式为STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。
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区 | 否 | 否 |
基础版：即2019年12月17日，正式发布的《2019年中国科学院文献情报中心期刊分区表》；将JCR中所有期刊分为13个大类,期刊范围只有SCI期刊。
升级版：即2020年1月13日，正式发布的《2019年中国科学院文献情报中心期刊分区表升级版（试行）》,升级版采用了改进后的指标方法体系对基础版的延续和改进，影响因子不再是分区的唯一或者决定性因素，也没有了分区的IF阈值期刊由基础版的13个学科扩展至18个，科研评价将更加明确。期刊范围有SCI期刊、SSCI期刊。从2022年开始，分区表将只发布升级版结果，不再有基础版和升级版之分,基础版和升级版（试行）将过渡共存三年时间。
JCR分区等级：Q1
| 按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% |
| Gold OA文章占比 | 研究类文章占比 | 文章自引率 |
| 41.51% | 100.00% | 0.22... |
| 开源占比 | 出版国人文章占比 | OA被引用占比 |
| 0.15... | 0.01 | 0.02... |
名词解释：JCR分区在学术期刊评价、科研成果展示、科研方向引导以及学术交流与合作等方面都具有重要的价值。通过对期刊影响因子的精确计算和细致划分，JCR分区能够清晰地反映出不同期刊在同一学科领域内的相对位置，从而帮助科研人员准确识别出高质量的学术期刊。
| CiteScore | SJR | SNIP | CiteScore 指数 | ||||||||||||||||||||
| 2.6 | 0.577 | 1.034 |
|
名词解释：CiteScore是基于Scopus数据库的全新期刊评价体系。CiteScore 2021 的计算方式是期刊最近4年（含计算年度）的被引次数除以该期刊近四年发表的文献数。CiteScore基于全球最广泛的摘要和引文数据库Scopus，适用于所有连续出版物，而不仅仅是期刊。目前CiteScore 收录了超过 26000 种期刊，比获得影响因子的期刊多13000种。被各界人士认为是影响因子最有力的竞争对手。
历年中科院分区趋势图
历年IF值(影响因子)
历年引文指标和发文量
历年自引数据
2019-2021年国家/地区发文量统计
| 国家/地区 | 数量 |
| Italy | 35 |
| France | 27 |
| England | 24 |
| GERMANY (FED REP GER) | 23 |
| Spain | 21 |
| USA | 19 |
| Sweden | 16 |
| Norway | 13 |
| Denmark | 12 |
| Netherlands | 12 |
2019-2021年机构发文量统计
| 机构 | 数量 |
| 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 |
2019-2021年文章引用数据
| 文章引用名称 | 引用次数 |
| 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 |
2019-2021年文章被引用数据
| 被引用期刊名称 | 数量 |
| 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 |
2019-2021年引用数据
| 引用期刊名称 | 数量 |
| 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 |
中科院分区：1区
影响因子：7.7
审稿周期：约Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 约2.7个月 约7.8周
中科院分区：1区
影响因子：8.1
审稿周期：约Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 约4.1个月 约6.8周
中科院分区：3区
影响因子：3.3
审稿周期：约17.72天 11 Weeks
中科院分区：2区
影响因子：5.8
审稿周期： 约2.4个月 约7.6周
中科院分区：2区
影响因子：5.1
审稿周期： 约1.9个月 约2.7周
中科院分区：1区
影响因子：98.4
审稿周期： 约3月
若用户需要出版服务，请联系出版商：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。
